System and method of automatic interoperability checking for BPEL

US8161460B2 · kind B2 · utility

Assignee

• SAP AG · DE

Inventors

• Christian Drumm · Karlsruhe, DE
• Nadeem Qutteineh · Karlsruhe, DE
• Ingo Weber · Sydney, AU

Key dates

• Filing date: May 30, 2007
• Grant date: Apr 17, 2012
• Expiry date: Feb 15, 2031

Classification

• Technology area (CPC G): Physics
• CPC primary: G06Q10/10
• WIPO field: IT methods for management
• WIPO sector: Electrical engineering

Abstract

In one embodiment the present invention includes a method of determining whether computer processes can interact without deadlocks. The computer processes may be modeled in a process modeling language. The method includes (optionally) generating state diagrams from the processes as modeled by process modeling language, generating step actions from the state diagrams, and executing model checking on the step actions. A computer program may implement the method, and a computer system may execute the computer program. Performing model checking on processes modeled by the process modeling language allows for increased interoperability checking.