Engineering commitment-based business protocols with the 2CL methodology

Enterprises must respect a number of regulations, with multilevel nature and which change along time. They must not only adapt their business interactions to the regulations and their changes but also evaluate the risks of violation of the new rules and to account for responsibilities. This work proposes a methodological framework for modeling and engineering business protocols, which gives primary position to the notions of commitment and responsibility, and supports the analysis of risks of violation when a new regulation is issued. We build on 2CL commitment-based protocols and introduce 2CL Methodology, a software engineering methodology for such protocols, which includes guidelines for specifying 2CL business protocols, for specialising them, and for composing a new 2CL protocol based on a set of given 2CL protocols. We developed a set of integrated software tools for the design and the analysis of 2CL protocols, with the aim of concretely supporting, on the one hand, designers in the task of identifying exposure to risks of violation, and, on the other hand, the management in the task of reasoning about accountability and of decision making. The proposal is evaluated by using a real-world case study from the banking sector.

[1]  Munindar P. Singh,et al.  Engineering Foreign Exchange Processes via Commitment Protocols , 2007, IEEE International Conference on Services Computing (SCC 2007).

[2]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[3]  Munindar P. Singh,et al.  Commitment alignment: semantics, patterns, and decision procedures for distributed computing , 2008 .

[4]  Munindar P. Singh,et al.  Amoeba: A methodology for modeling and evolving cross-organizational business processes , 2009, TSEM.

[5]  Laura Giordano,et al.  Business Process Compliance Verification: An Annotation Based Approach with Commitments , 2012 .

[6]  Munindar P. Singh,et al.  Designing and executing protocols using the event calculus , 2001, AGENTS '01.

[7]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[8]  Cristina Baroglio,et al.  2COMM: A Commitment-based MAS Architecture , 2013, WOA@AI*IA.

[9]  Michael Winikoff,et al.  Comparing Agent-Oriented Methodologies , 2003, AOIS.

[10]  Nicola Henze,et al.  Constraint modeling for curriculum planning and validation , 2011, Interact. Learn. Environ..

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

[12]  Cristina Baroglio,et al.  Grafting regulations into business protocols: Supporting the analysis of risks of violation , 2011, 2011 Fourth International Workshop on Requirements Engineering and Law.

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

[14]  Paola Mello,et al.  Representing and monitoring social commitments using the event calculus , 2013, Autonomous Agents and Multi-Agent Systems.

[15]  Munindar P. Singh,et al.  An algebra for commitment protocols , 2007, Autonomous Agents and Multi-Agent Systems.

[16]  Jamal Bentahar,et al.  Verifying conformance of multi-agent commitment-based protocols , 2013, Expert Syst. Appl..

[17]  Tim Miller,et al.  Amongst First-Class Protocols , 2008, ESAW.

[18]  Cowan Ervine.  Directive 2004/39/Ec of the European Parliament and of the Council of 21 April 2004 , 2015 .

[19]  Marco Colombetti,et al.  Representation and monitoring of commitments and norms using OWL , 2010, AI Commun..

[20]  Michael Winikoff,et al.  Enhancing Commitment Machines , 2004, DALT.

[21]  Jamal Bentahar,et al.  On the verification of social commitments and time , 2011, AAMAS.

[22]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[23]  Jamal Bentahar,et al.  Communicative commitments: Model checking and complexity analysis , 2012, Knowl. Based Syst..

[24]  Richard N. Taylor,et al.  Techniques for Supporting Dynamic and Adaptive Workflow , 2000, Computer Supported Cooperative Work (CSCW).

[25]  Cristina Baroglio,et al.  Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study , 2012 .

[26]  Jamal Bentahar,et al.  Reducing model checking commitments for agent communication to model checking ARCTL and GCTL* , 2013, Autonomous Agents and Multi-Agent Systems.

[27]  Marco Colombetti,et al.  Research directions in agent communication , 2013, TIST.

[28]  Pinar Yolum,et al.  Design time analysis of multiagent protocols , 2007, Data Knowl. Eng..

[29]  Munindar P. Singh,et al.  Abstracting and Applying Business Modeling Patterns from RosettaNet , 2010, ICSOC.

[30]  Cristina Baroglio,et al.  Behavior-Oriented Commitment-based Protocols , 2010, ECAI.

[31]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[32]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[33]  Marco Colombetti,et al.  A COMMITMENT-BASED APPROACH TO AGENT COMMUNICATION , 2004, Appl. Artif. Intell..

[34]  Cristina Baroglio,et al.  A Generalized Commitment Machine for 2CL Protocols and Its Implementation , 2012, DALT.

[35]  Khanh Hoa Dam,et al.  Evaluating and Comparing Agent-Oriented Software Engineering Methodologies , 2003 .

[36]  Ilia Bider,et al.  Defining business process flexibility with the help of invariants , 2007, Softw. Process. Improv. Pract..

[37]  Barbara Dunin-Keplicz,et al.  Evolution of Collective Commitment during Teamwork , 2002, Fundam. Informaticae.

[38]  Wil M.P. van der Aalst,et al.  Declarative Specification and Verification of Service Choreographies , 2009 .

[39]  Marco Colombetti,et al.  Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review , 2011, DALT.

[40]  Munindar P. Singh,et al.  Commitment-Based Service-Oriented Architecture , 2009, Computer.

[41]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[42]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[43]  Munindar P. Singh,et al.  Commitment Machines , 2001, ATAL.

[44]  Munindar P. Singh,et al.  Comma: a commitment-based business modeling methodology and its empirical evaluation , 2012, AAMAS.

[45]  Munindar P. Singh,et al.  Formalizing and verifying protocol refinements , 2013, TIST.

[46]  Munindar P. Singh,et al.  Constitutive interoperability , 2008, AAMAS.

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

[48]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[49]  Munindar P. Singh.  Formalizing Communication Protocols for Multiagent Systems , 2007, IJCAI.

[50]  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).

[51]  M Maja Pesic,et al.  Constraint-based workflow management systems : shifting control to users , 2008 .

[52]  Mathias Weske,et al.  Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

[53]  William J. Kirsch,et al.  The protection of privacy and transborder flows of personal data: the work of the Council of Europe, the Organization for Economic Co-operation and Development and the European Economic Community , 1982, Legal Issues of Economic Integration.

[54]  Munindar P. Singh,et al.  Interaction protocols as design abstractions for business processes , 2005, IEEE Transactions on Software Engineering.

[55]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[56]  Munindar P. Singh,et al.  Specifying and applying commitment-based business patterns , 2011, AAMAS.

[57]  M. Rehm,et al.  Proceedings of AAMAS , 2005 .

[58]  Marco Montali.  Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach , 2010 .

[59]  Cristina Baroglio,et al.  Constitutive and regulative specifications of commitment protocols: A decoupled approach , 2013, TIST.

[60]  Munindar P. Singh,et al.  Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach , 2012, IEEE Transactions on Services Computing.