System and method for message choreographies of services

A computer program, embodied on a tangible recording medium, for evaluating interactions between processes, comprising:

• data representing a message choreography meta-model that includes an interaction meta-class and a constraint meta-class, wherein the interaction meta-class relates to an exchange of a message between a sender and a receiver, and wherein the constraint meta-class relates to an input to the interaction meta-class;
• a user interface computer program with which a user, using a physical computing device, creates a message choreography model between a first process and a second process, wherein the message choreography model is based on the message choreography meta-model, wherein the message choreography model includes a plurality of interactions that conform to the interaction meta-class, and wherein message choreography model includes a plurality of constraints that conform to the constraint meta-class;
• and
• a verification computer program that, when executed by the physical computing device, performs a verification of the message choreography model, wherein the verification includes verifying absence of an inconsumable message.

A system for evaluating interactions between processes, comprising:

• a storage system that stores a message choreography meta-model that includes an interaction meta-class and a constraint meta-class, wherein the interaction meta-class relates to an exchange of a message between a sender and a receiver, and wherein the constraint meta-class relates to an input to the interaction meta-class;
• and
• a processor system that executes a user interface computer program with which a user creates a message choreography model between a first process and a second process, wherein the message choreography model is based on the message choreography meta-model, wherein the message choreography model includes a plurality of interactions that conform to the interaction meta-class, and wherein message choreography model includes a plurality of constraints that conform to the constraint meta-class,
• wherein the processor system executes a verification computer program that performs a verification of the message choreography model, wherein the verification includes verifying absence of an inconsumable message.