发明名称 |
Service-based processes using policy-based model-to-model conversion and validation techniques |
摘要 |
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. |
申请公布号 |
US8601432(B2) |
申请公布日期 |
2013.12.03 |
申请号 |
US20070864116 |
申请日期 |
2007.09.28 |
申请人 |
BORNHOEVD CHRISTOF;PALIWAL AABHAS;ADAM NABIL;SHAFIQ BASIT;SAP AG |
发明人 |
BORNHOEVD CHRISTOF;PALIWAL AABHAS;ADAM NABIL;SHAFIQ BASIT |
分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|