Business Process Architecture: Use and Correctness

Becoming more and more process oriented, companies develop collections of hundreds or even thousands of business process models that represent the complex system of cooperating entities that form an organization. Designing and analyzing the structure of this system of business process models emerges as a new challenge, which is covered by the field of business process architecture. This paper presents a formal conceptual framework for representing and analyzing business process architectures. It identifies patterns of relations between process models, and it introduces anti-patterns that represent erroneous relations between them. The conceptual framework and the patterns are evaluated using a real-world process model collection. The evaluation shows that explicitly representing and analyzing relations between process models can help improving the correctness and consistency of the business process architecture as a whole.

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

[2]  Luca Padovani,et al.  Formal Methods for Web Services , 2009, Lecture Notes in Computer Science.

[3]  Wil M. P. van der Aalst,et al.  Service Interaction: Patterns, Formalization, and Analysis , 2009, SFM.

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

[5]  Jan Mendling,et al.  Process instantiation , 2009, Data Knowl. Eng..

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

[7]  David G. Stork,et al.  Query Nets: Interacting Workflow Modules That Ensure Global Termination , 2003, Business Process Management.

[8]  Egon Börger,et al.  A Compositional Framework for Service Interaction Patterns and Interaction Flows , 2005, ICFEM.

[9]  Andreas Wombacher.  Decentralized Consistency Checking in Cross-organizationalWorkflows , 2006, The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06).

[10]  Sheila A. McIlraith,et al.  Web Services, E-Business, and the Semantic Web , 2004, Lecture Notes in Computer Science.

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

[12]  Marlon Dumas,et al.  Execution Semantics for Service Choreographies , 2006, WS-FM.

[13]  Manuel Mazzara,et al.  A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..

[14]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[15]  S. J. Chinn,et al.  The use of patterns , 2002 .

[16]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[17]  Remco M. Dijkman,et al.  The Road to a Business Process Architecture: An Overview of Approaches and their Use , 2011 .

[18]  Jan Mendling,et al.  Errors in the SAP reference model , 2006 .

[19]  David Edmond,et al.  The Use of Patterns in Service Composition , 2002, WES.

[20]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[21]  Ajitha Rajan,et al.  Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.

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