The Specification of UML Collaborations as Interaction Components
نویسندگان
چکیده
منابع مشابه
On the Realizability of Collaborative Services 1
This paper considers compositional specifications of services using UML 2 collaborations, activity and interaction diagrams, and addresses the realizability problem for such specifications: given a global specification, can we construct a set of communicating system components whose joint behavior is precisely the specified global behavior? We approach the problem by looking at how the sequenci...
متن کاملModeling and Specification of Collaborative Business Processes with an MDA Approach and a UML Profile
AbstrAct This chapter describes the application of MDA (model driven architecture) and UML for the model-ing and specification of collaborative business processes, with the purpose of enabling enterprises to establish business-to-business collaborations. The proposed MDA approach provides the components and techniques required for the development of collaborative processes from their conceptual...
متن کاملAligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services
In our service engineering approach, services are specified by UML 2.0 collaborations and activities, focusing on the interactions between cooperating entities. To execute services, however, we need precise behavioral descriptions of physical system components modeling how a component contributes to a service. For these descriptions we use the concept of state machines which form a suitable inp...
متن کاملArctis and Ramses: Tool Suites for Rapid Service Engineering
For our highly automated service engineering approach SPACE, we built the tool suites Arctis and Ramses. Arctis focuses on abstract, reusable service specifications that are composed from UML 2.0 collaborations and activities. It supports the analysis of service specifications by model checking via TLC. A consistent specification can be transformed into UML state machines and components. For th...
متن کاملSpecification of Behaviour in Component Frameworks
Introduction There are currently few approaches for the specification of components and component frameworks that exist. Catalysis [DW98] which has a strong relationship to the UML (Unified Modelling Language) has gained public interest and seems to have reached the maturity to be applied in industrial component-based projects (e.g. COOL:Spex from Sterling Software). From an abstract viewpoint ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002