Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Communication and Concurrency
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Realizability of Collaboration-based Service Specifications
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Soa: principles of service design
Soa: principles of service design
Realizability of Choreographies Using Process Algebra Encodings
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Platform Support for Situated Collaborative Learning
ELML '09 Proceedings of the 2009 International Conference on Mobile, Hybrid, and On-line Learning
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Unified modeling of service logic with user interfaces
Proceedings of the first international workshop on Model driven service engineering and data quality and security
CoSDL - an experimental language for collaboration specification
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
From inter-organizational workflows to process execution: generating BPEL from WS-CDL
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Synthesizing state-machine behaviour from UML collaborations and use case maps
SDL'05 Proceedings of the 12th international conference on Model Driven
ICT convergence: modeling issues
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Choreography conformance analysis: asynchronous communications and information alignment
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Analyzing realizability of choreographies using initiating and responding flows
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Session initiation as a service
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
A model-driven framework for component-based development
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Comparing six modeling approaches
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
On deriving detailed component design from high-level service specification
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Hi-index | 0.01 |
The need for global behavior definitions is well established both in the domain of embedded reactive systems and service-oriented (business) systems. The problem has been to define the global behavior with sufficient, rigor and completeness to fully cover the intended behavior and not just some scenarios, and to enable automatic synthesis of component behaviors in practical systems and service development. In this paper we build on previous work where UML collaborations are used to structure systems and services into reusable building blocks, and UML activities to model global behavior, called choreography in the following. We identify two forms of choreography: one where all flows are localized to the roles participating in collaborations and another where the flows are not localized and thus more abstract. We propose a novel approach to map the flow-global choreography to a flow-localized choreography and further to distributed component behaviors (orchestrations) with well-defined interfaces from which implementation code can be generated using existing techniques. The overall approach combines the merits of global choreographies and collaborative building blocks with the flexibility of component-oriented designs. The approach is illustrated using a city guiding system as case study.