Sap Ag

Alin Stefanescu

Frank Michael Kraft

Anis Charfi

Andreas Roth

Sebastian Wieczorek

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.

Growing community of inventors

Gross-Zimmern, Germany

Alin Stefanescu