Scaling Choreography Modelling for B2B Value-Chain Analysis
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Interacting services: From specification to execution
Data & Knowledge Engineering
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Analyzing Chor Specifications by Translation into FSP
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements-Driven Collaborative Choreography Customization
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A formal model for service interaction topologies
EuroIMSA '08 Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications
Abstractions of interaction mechanisms
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Collaborative management of distributed business processes: a service-based approach
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Extending BPMN for modeling complex choreographies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Interaction modeling using BPMN
BPM'07 Proceedings of the 2007 international conference on Business process management
Local Enforceability and Inconsumable Messages in Choreography Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
Realizability is controllability
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Realizability analysis for message-based interactions using shared-state projections
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
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
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established languages such as the Web Services Description Language and the Business Process Execution Language allow developers to capture the interactions in which an individual service can engage, both from a structural and from a behavioral perspective. However, in large serviceoriented systems, stakeholders may require a global picture of the way services interact with each other, rather than multiple small pictures focusing on individual services. Such "global models" are especially useful when a set of services interact in such a way that none of them sees all messages being exchanged, yet interactions taking place between some services affect the way other services interact. An issue that arises when dealing with global models of service interactions is that these models may capture behavioral constraints that can not be enforced locally. In other words, some global models may not be translatable into a collection of local models such that the sum of the local models equals the original global model. Starting from a previously proposed language for global modeling of service interactions, this paper defines an algorithm for determining if a global model is locally enforceable and an algorithm for generating local models from global ones.