Abstract: A computer-implemented method of evaluating interactions between processes. The method includes storing a message choreography meta-model that includes an interaction meta class and a constraint meta-class. A user creates a message choreography model between a first process and a second process. The method further includes executing a verification computer program that performs a verification of the message choreography model. The verification includes verifying absence of an inconsumable message.

Abstract: In one embodiment the present invention includes a computer-implemented method of evaluating interactions between processes. The method includes storing a message choreography meta-model that includes an interaction meta class and a constraint meta-class. The interaction meta-class relates to an exchange of a message between a sender and a receiver, and the constraint meta-class relates to an input to the interaction meta-class. The method further includes executing a user interface computer program with which a user creates a message choreography model between a first process and a second process. The message choreography model is based on the message choreography meta-model. The message choreography model includes interactions that conform to the interaction meta class, and includes constraints that conform to the constraint meta class. The method further includes executing a verification computer program that performs a verification of the message choreography model.