Towards a formal framework for product level agreements

In the European project IMAGINE we address the problem of cross-organisational processes interoperability in dynamic collaboration environments for product detailed design. By dynamicity, we mean that partners can quit the collaboration and be replaced by other partners at run-time. We first propose to capture the objective of the collaboration, that is reaching agreements between the involved partners on the configurations of the final product components. Successfully capturing agreements contributes to minimising the coupling between partners which reduces the impact of changes in the collaboration environment. Then, from the specification of agreements, we generate the cross-organisational process that automates message exchanges between partners. Nevertheless, the fragments of this cross-organisational process can face interoperability issues during run-time. This issue arises because each process fragment belonging to a partner should be generated while upholding business rules of this partner. Accordingly, we propose an automatic mediation approach that is well-adapted for dynamic collaboration environments. We present the implementation and the evaluation of our framework and an industrial case study is followed to illustrate how our framework can be used in practice.

[1]  W.M.P. van der Aalst,et al.  On the automatic generation of workflow processes based on product structures , 1999 .

[2]  Eric Rebentisch,et al.  Challenges in the Better, Faster, Cheaper Era of Aeronautical Design, Engineering and Manufacturing , 2000 .

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

[4]  Raghava Rao Mukkamala,et al.  Nested Dynamic Condition Response Graphs , 2011, FSEN.

[5]  Munindar P. Singh,et al.  Engineering Service Engagements via Commitments , 2014, IEEE Internet Computing.

[6]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

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

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

[9]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

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

[11]  Christoph Bussler,et al.  Implementing agent coordination for workflow management systems using active database systems , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[12]  Hajo A. Reijers,et al.  Product-driven workflow design , 2001, Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design (IEEE Cat. No.01EX472).

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

[14]  Raghava Rao Mukkamala,et al.  Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

[15]  Kamel Barkaoui,et al.  Dynamic Adapter Reconfiguration in the Context of Business Protocol Evolution , 2013, 2013 IEEE 16th International Conference on Computational Science and Engineering.

[16]  Marlon Dumas,et al.  Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation , 2006, Business Process Management.

[17]  Boualem Benatallah,et al.  Web Service Adaptation: Mismatch Patterns and Semi-Automated Approach to Mismatch Identification and Adapter Development , 2014, Web Services Foundations.

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

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

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

[21]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

[22]  Ismail Hakki Toroslu,et al.  A Logical Framework for Scheduling Workflows under Resource Allocation Constraints , 2002, VLDB.

[23]  Hans Eriksson,et al.  Business Modeling With UML: Business Patterns at Work , 2000 .

[24]  Yehia Taher,et al.  Diagnosing Incompatibilities in Web Service Interactions for Automatic Generation of Adapters , 2009, 2009 International Conference on Advanced Information Networking and Applications.

[25]  David D. Walden,et al.  Systems engineering handbook : a guide for system life cycle processes and activities , 2015 .

[26]  Sallie M. Henry,et al.  Object-oriented metrics that predict maintainability , 1993, J. Syst. Softw..

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

[28]  Patrik Berander,et al.  A goal question metric based approach for efficient measurement framework definition , 2006, ISESE '06.

[29]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[30]  Samir Tata,et al.  Assessing the replaceability of service protocols in mediated service interactions , 2013, Future Gener. Comput. Syst..

[31]  Daniel P. Raymer,et al.  Aircraft Design: A Conceptual Approach , 1989 .

[32]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[33]  Yehia Taher,et al.  Adaptation of Web Service Interactions Using Complex Event Processing Patterns , 2011, ICSOC.

[34]  Daniel V. Oppenheim,et al.  Coordinating Distributed Operations , 2010, ICSOC Workshops.

[35]  Wan Fokkink,et al.  Introduction to Process Algebra , 1999, Texts in Theoretical Computer Science. An EATCS Series.

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

[37]  Mathias Weske,et al.  BPEL4Chor: Extending BPEL for Modeling Choreographies , 2007, IEEE International Conference on Web Services (ICWS 2007).

[38]  Wil M. P. van der Aalst,et al.  From BPMN Process Models to BPEL Web Services , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

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

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

[41]  Lav R. Varshney,et al.  Work as a Service , 2011, Advanced Web Services.

[42]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

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

[44]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[45]  Steven J. Fenves,et al.  A Semantic Product Modeling Framework and Its Application to Behavior Evaluation , 2012, IEEE Transactions on Automation Science and Engineering.

[46]  Fabio Casati,et al.  Mismatch Patterns and Adaptation Aspects: A Foundation for Rapid Development of Web Service Adapters , 2009, IEEE Transactions on Services Computing.

[47]  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.

[48]  Munindar P. Singh,et al.  An Event Algebra for Specifying and Scheduling Workflows , 1995, DASFAA.

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