Local Enforceability in Interaction Petri Nets

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.

[1]  Mathias Weske,et al.  Behavioral Consistency for B2B Process Integration , 2007, CAiSE.

[2]  Remco M. Dijkman,et al.  Service-Oriented Design: A Multi-Viewpoint Approach , 2004, Int. J. Cooperative Inf. Syst..

[3]  Xiang Fu,et al.  Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.

[4]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[5]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[6]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[7]  Mathias Weske,et al.  The P2P Approach to Interorganizational Workflows , 2001, International Conference on Advanced Information Systems Engineering.

[8]  Marlon Dumas,et al.  Service Interaction Modeling: Bridging Global and Local Views , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[9]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[10]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[11]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[12]  Fabio Casati,et al.  Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings , 2005, ICSOC.

[13]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[14]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

[15]  Rocco De Nicola.  Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings , 2007, ESOP.

[16]  Alberto Martelli,et al.  A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments , 2006, ICSOC.

[17]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[18]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[19]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[20]  Nobuko Yoshida,et al.  Structured Communication-Centred Programming for Web Services , 2007, ESOP.

[21]  Marlon Dumas,et al.  Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.

[22]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[23]  Winfried Lamersdorf,et al.  Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.

[24]  Roberto Gorrieri,et al.  Choreography and Orchestration: A Synergic Approach for System Design , 2005, ICSOC.