Patent · US Active

System and method for message choreographies of services

US8448143B2 · kind B2 · utility

2Cited by

3References

20Claims

0Family size

Assignee

SAP AG · DE

Inventors

Sebastian Wieczorek · Mainz, DE
Andreas Roth · Karlsruhe, DE
Alin Stefanescu · Groß-Zimmern, DE
Anis Charfi · Darmstadt, DE
Frank Michael Kraft · Speyer, DE

Key dates

Filing date	Dec 18, 2008
Grant date	May 21, 2013
Priority date	—
Expiry date	Feb 19, 2032

Classification

Technology area (CPC G)Physics
CPC primaryG06F2209/506
WIPO fieldComputer technology
WIPO sectorElectrical engineering

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.