Towards Combining Declarative Specification with On-the-Fly Mediation

Business process interoperability (BPI) is an important issue for distributed applications in collaborative environments. This problem is further complicated in dynamic collaborative environments where stakeholders can quit the network and be replaced by new ones. To date, existing approaches do not provide the necessary flexibility to handle the dynamic nature of the network. In this work a formal framework is developed which combines cross-organizational process specifications with mediation-based solutions to ensure BPI. The concepts defined in this framework are used to build flexible collaboration contracts that better handle the dynamicity of the network. The applicability of the framework has been illustrated through a real-life industrial use-case in the aerospace industry for collaborative aircraft design process. The proposed framework provides higher level concepts than existing process modeling languages which better captures the business intent behind the collaboration.

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

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

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

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

[5]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

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

[7]  Salima Benbernou,et al.  Evolving Services from a Contractual Perspective , 2009, CAiSE.

[8]  Jian Yu,et al.  Pattern Based Property Specification and Verification for Service Composition , 2006, WISE.

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

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

[11]  Parisa Ghodous,et al.  Controlling the Evolution of Product-Based Collaboration Contracts , 2013, 2013 IEEE International Conference on Services Computing.

[12]  Olivier Tabaste A ROUTE TOWARD VIRTUAL CERTIFICATION OF AIRCRAFT , 2010 .

[13]  Yehia Taher,et al.  A three step based approach for Web Service adaptation , 2012, SAC '12.

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

[15]  G. Kundt,et al.  The Oncological Safety of Skin Sparing Mastectomy with Conservation of the Nipple-Areola Complex and Autologous Reconstruction: An Extended Follow-Up Study , 2009, Annals of surgery.

[16]  Mike P. Papazoglou,et al.  The Challenges of Service Evolution , 2008, CAiSE.

[17]  Stefanie Rinderle-Ma,et al.  Towards Compliance of Cross-Organizational Processes and Their Changes - Research Challenges and State of Research , 2012, Business Process Management Workshops.

[18]  Fabio Casati,et al.  Developing Adapters for Web Services Integration , 2005, CAiSE.

[19]  Adrian Mocan,et al.  WSMX Process Mediation Based on Choreographies , 2005, Business Process Management Workshops.

[20]  Ling Liu,et al.  Encyclopedia of Database Systems , 2009, Encyclopedia of Database Systems.

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

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

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

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

[25]  Mohammad H. Sadraey Aircraft Design: A Systems Engineering Approach , 2012 .