Realizable and Unrealizable Specifications of Reactive Systems
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
An Analyser for Mesage Sequence Charts
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
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
Realizability of Choreographies Using Process Algebra Encodings
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Strong safe realizability of message sequence chart specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
From flow-global choreography to component types
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
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
ICT convergence: modeling issues
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Choreography conformance analysis: asynchronous communications and information alignment
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Reactive semantics for distributed UML activities
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
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
| Hi-index | 0.00 |
Choreographies are used to define and analyze the global collaborative behavior of reactive systems while orchestration are used to define local behavior of components for realization. A number of realizability problems need to be addressed when going from a global choreography to distributed realization. This paper focuses on the analysis of choreographies in order to detect and resolve such realizability problems. UML activity diagram are used for choreography specification as well as for distributed realizations using a distinction between initiating flows local to a component and responding flows that represent flows external to a component. These concepts provide a new, simpler, and computationally efficient way to detect and to some extent resolve most known realizability problems.