Cross-Organizational Business Processes Modeling Using Design-by-Contract Approach

Reaching agreements between organizations in a collaborative environment is a way to ensure interoperability between these organizations at all levels. For business processes interoperability this agreement can be reached by well defining the cross-organizational process. However most BPM frameworks have used meta-models centered on flows of activities, with the data manipulated by these activities seen as second-class citizens. For business analysts (for example in complex product design collaborative environments) data plays a major role. In this paper, we propose a methodology backed by a conceptual framework to model the cross-organizational process relying on the product model. This framework defines the evolution of the product model through a finite number of states, and then automatically generates executable artifacts to support the collaboration during run-time phase. This approach is being implemented in the living laboratory provided by EADS in the context of the European project IMAGINE.

[1]  Parisa Ghodous,et al.  A Novel Approach to Ensure Interoperability Based on a Cloud Infrastructure , 2012, ISPE CE.

[2]  Mike P. Papazoglou,et al.  Enforcing compliance on business processes through the use of patterns , 2011, ECIS.

[3]  Wil M. P. van der Aalst,et al.  Multiparty Contracts: Agreeing and Implementing Interorganizational Processes , 2010, Comput. J..

[4]  Munindar P. Singh,et al.  Business Modeling via Commitments , 2009, SOCASE.

[5]  Parisa Ghodous,et al.  Interoperability framework for dynamic manufacturing networks , 2012, Comput. Ind..

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

[7]  Mark A. Ardis,et al.  Proceedings of the second workshop on Formal methods in software practice , 1998 .

[8]  Hajo A. Reijers,et al.  Product-Based Workflow Design , 2003, J. Manag. Inf. Syst..

[9]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

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

[11]  Parisa Ghodous,et al.  Product-based business processes interoperability , 2013, SAC '13.

[12]  Laura Bocchi,et al.  A Theory of Design-by-Contract for Distributed Multiparty Interactions , 2010, CONCUR.

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

[14]  Michael Guttman,et al.  Real-Life MDA: Solving Business Problems with Model Driven Architecture , 2006 .

[15]  Gary Brown,et al.  Scribbling Interactions with a Formal Foundation , 2011, ICDCIT.

[16]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I , 2006, OTM Conferences.

[17]  Paola Mello,et al.  Declarative specification and verification of service choreographiess , 2010, TWEB.

[18]  Suhaimi Ibrahim,et al.  A comparative study of process mediator components that support behavioral incompatibility , 2011, ArXiv.

[19]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

[20]  Paul Gastin,et al.  CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings , 2010, CONCUR.

[21]  Andrew Y. C. Nee,et al.  Advanced Design and Manufacturing Based on STEP , 2009 .

[22]  Mira Mezini,et al.  Hybrid web service composition: business processes meet business rules , 2004, ICSOC '04.

[23]  van der Wmp Wil Aalst,et al.  Dealing with workflow change: identification of issues and solutions , 2000 .

[24]  Cesare Pautasso,et al.  Emerging Web Services Technology , 2007 .

[25]  Gerhard Knolmayer,et al.  Modeling Processes and Workflows by Business Rules , 2000, Business Process Management.

[26]  Koteshwar Chirumalla,et al.  Project: CRESCENDO - Collaborative and Robust Engineering using Simulation Capability Enabling Next Design Optimisation , 2009 .

[27]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[28]  Marwane El Kharbili,et al.  Bringing Agility to Business Process Management: Rules Deployment in an SOA , 2008, WEWST@ECOWS.

[29]  Soumya Simanta,et al.  Why Standards Are Not Enough to Guarantee End-to-End Interoperability , 2008, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008).

[30]  Thomas R. Kramer,et al.  STEP in a Nutshell , 2009 .

[31]  Maria-Eugenia Iacob,et al.  Achieving Business Process Flexibility with Business Rules , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[32]  Zakaria Maamar,et al.  Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings , 2007, SOCASE.

[33]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.