Learn the rules so you know how to break them properly

Commitment-based protocols are receiving increasing attention as tools for the representation of business interaction in open MAS. As recent proposals, like 2CL, show when the reality to be modeled is characterized by a high degree of regulation, traditional commitment-based protocols, which account only for the constitutive specification of actions, are to be enriched with a regulative specification. This is the case of the measures foreseen by the Markets in Financial Instruments Directive, aimed at fostering the creation of an integrated financial market within the European Union. This work shows the usefulness of adopting a declarative commitment-based approach by applying it to the MiFID case study. We developed an extension of Winikoff et al.’s enhanced commitment machine, that accounts of 2CL temporal regulations. It allows the analysis of business protocols and, in particular, of the possible violations.