Inventors:
Christof Bornhoevd - Belmont CA, US
Aabhas Paliwal - North Brunswick NJ, US
Nabil Adam - Manhasset NY, US
Basit Shafiq - Edison NJ, US
International Classification:
G06F 9/44
Abstract:
A modeling tool may be configured to generate a diagrammatic representation of a service-based process, expressed using a diagrammatic modeling language. A model converter may be configured to convert the diagrammatic representation into a formal model of the service-based process, and a model verifier configured to apply constraints to the formal model to verify an operation of the service-based process and output a verified formal model. A code generator may be configured to generate executable code therefrom for executing the service-based process therewith.