Invention Grant
US08601432B2 Service-based processes using policy-based model-to-model conversion and validation techniques
有权
使用基于策略的模型到模型转换和验证技术的基于服务的流程
- Patent Title: Service-based processes using policy-based model-to-model conversion and validation techniques
- Patent Title (中): 使用基于策略的模型到模型转换和验证技术的基于服务的流程
-
Application No.: US11864116Application Date: 2007-09-28
-
Publication No.: US08601432B2Publication Date: 2013-12-03
- Inventor: Christof Bornhoevd , Aabhas Paliwal , Nabil Adam , Basit Shafiq
- Applicant: Christof Bornhoevd , Aabhas Paliwal , Nabil Adam , Basit Shafiq
- Applicant Address: DE Walldorf
- Assignee: SAP AG
- Current Assignee: SAP AG
- Current Assignee Address: DE Walldorf
- Agency: Brake Hughes Bellermann LLP
- Main IPC: G06F9/44
- IPC: G06F9/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.
Public/Granted literature
- US20090089741A1 SERVICE-BASED PROCESSES USING POLICY-BASED MODEL-TO-MODEL CONVERSION AND VALIDATION TECHNIQUES Public/Granted day:2009-04-02
Information query
