Professor Dr. Matteo Baldoni, Professor Dr. Cristina Baroglio, Dr. Elisa Marengo, Dr. Viviana Patti, and Federico Capuzzimati, all of Università degli Studi di Torino, have published Engineering commitment-based business protocols with the 2CL methodology, Autonomous Agents and Multi-Agent Systems, 28, 519-557 (2014).
Here is the abstract:
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.
Here is the authors’ description of the case study:
As an example of usage, we apply the 2CL Methodology to a real-world case study, the Markets in Financial Instruments Directive (MiFID) which is a prominent example of EU regulation having an impact on trading procedures and which is also one of the benchmarks of the ICT4LAW project (http://www.ict4law.org). We report a sales protocol that was legal before MiFID was issued, and we show how the proposed methodology supports the protocol designer in grafting the new regulation upon the old speciﬁcation. The 2CL Methodology was evaluated by interviewing a group of volunteers of different expertise and experience after explaining them the methodology itself.