Abstract: Automated checking of test cases when the underlying test model has been modified includes verifying the structure of the original test cases against the new (modified) test model. Verified test cases are assessed by manipulating the new test model to produce corresponding manipulated test models. A test case is still valid for the new test model if a test case can be generated from its corresponding manipulated test model.

Abstract: Automated checking of test cases when the underlying test model has been modified includes verifying the structure of the original test cases against the new (modified) test model. Verified test cases are assessed by manipulating the new test model to produce corresponding manipulated test models. A test case is still valid for the new test model if a test case can be generated from its corresponding manipulated test model.

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.