A calculus of mobile processes, I
Information and Computation
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Theoretical Computer Science - Implementation and application of automata
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
Service Interaction Modeling: Bridging Global and Local Views
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to 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
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modeling Service Choreographies Using BPMN and BPEL4Chor
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Correct Channel Passing by Construction
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Web Service Choreography Configurations for BPMN
Service-Oriented Computing - ICSOC 2007 Workshops
Data & Knowledge Engineering
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
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
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
Realizability is controllability
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Interaction-centric modeling of process choreographies
Information Systems
Construction of asynchronous communicating systems: weak termination guaranteed!
SC'10 Proceedings of the 9th international conference on Software composition
An approach to identifying causes of implied scenarios using unenforceable orders
Information and Software Technology
Service research challenges and solutions for the future internet
Decidability results for choreography realization
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Checking the realizability of BPMN 2.0 choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Counterexample guided synthesis of monitors for realizability enforcement
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Business process architectures with multiplicities: transformation and correctness
BPM'13 Proceedings of the 11th international conference on Business Process Management
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
In scenarios where a set of independent business partnersengage in complex conversations, global interaction models are a meansto specify the allowed interaction behavior from a global perspective.In these models atomic interactions serve as basic building blocks andbehavioral dependencies are defined between them. Global interactionmodels might not be locally enforceable, i.e. they specify constraints thatcannot be enforced during execution without additional synchronizationinteractions. As this property has only been defined textually so far, thispaper presents a formal definition. For doing so, this paper introducesinteraction Petri nets, a Petri net extension for representing global interactionmodels. Algorithms for deriving the behavioral interface for eachpartner and for enforceability checking are provided.