Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract.

Business protocols are a means for specifying the interaction of a set of autonomous parties with heterogeneous software designs and implementations. They have a normative value in that parties are expected to behave accordingly. Often the reality in which parties operate is characterized by a high degree of regulation. The article introduces 2CM, a software engineering methodology for the business protocol language 2CL, by which business protocols are specified in a declarative way by means of social commitments. The methodology supports protocol specification, composition, and specialization of protocols.