On compatibility of interacting business processes

Several issues occur with regard to the correctness of interacting business processes in process choreography. These issues are addressed by discussing the notion of compatibility. Compatibility shows ability of correct interaction when combining multiple business processes. This paper intends to provide rules and methods for analyzing compatibility of process models.

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

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

[3]  Mathias Weske,et al.  Process Choreographies in Service-oriented Environments , 2006 .

[4]  Thomas T. Hildebrandt,et al.  Bigraphical Programming Languages for Pervasive Computing , 2006 .

[5]  Martin Olsen,et al.  Formalising Business Process Execution with Bigraphs and Reactive XML , 2006, COORDINATION.

[6]  Robin Milner,et al.  Bigraphs and mobile processes (revised) , 2004 .

[7]  Robin Milner,et al.  Pure bigraphs: Structure and dynamics , 2006, Inf. Comput..

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

[9]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[10]  Mathias Weske,et al.  Investigations on Soundness Regarding Lazy Activities , 2006, Business Process Management.

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

[12]  Juliane Dehnert,et al.  Relaxed Soundness of Business Processes , 2001, CAiSE.

[13]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[14]  Thomas T. Hildebrandt,et al.  Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs , 2008, COORDINATION.

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

[16]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

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

[18]  Robin Milner,et al.  The Space and Motion of Communicating Agents , 2009 .

[19]  Lars Birkedal,et al.  Bigraphical Models of Context-Aware Systems , 2006, FoSSaCS.