SERVICE-BASED PROCESSES USING POLICY-BASED MODEL-TO-MODEL CONVERSION AND VALIDATION TECHNIQUES
First Claim
Patent Images
1. A system comprising:
- a modeling tool configured to generate a diagrammatic representation of a service-based process, expressed using a diagrammatic modeling language;
a model converter configured to convert the diagrammatic representation into a formal model of the service-based process;
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; and
a code generator configured to generate executable code therefrom for executing the service-based process therewith.
2 Assignments
0 Petitions
Accused Products
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.
-
Citations
20 Claims
-
1. A system comprising:
-
a modeling tool configured to generate a diagrammatic representation of a service-based process, expressed using a diagrammatic modeling language; a model converter configured to convert the diagrammatic representation into a formal model of the service-based process; 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; and a code generator configured to generate executable code therefrom for executing the service-based process therewith. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13)
-
-
14. A method comprising:
-
generating a diagrammatic representation of a service-based process, expressed using a diagrammatic modeling language; converting the diagrammatic representation into a formal model of the service-based process; applying constraints to the formal model to verify an operation of the service-based process and output a verified formal model; and generating executable code therefrom for executing the service-based process therewith. - View Dependent Claims (15, 16, 17)
-
-
18. A computer program product tangibly embodied on a computer-readable medium and including executable code that, when executed, is configured to cause a data processing apparatus to:
-
generate a diagrammatic representation of a service-based process, expressed using a diagrammatic modeling language; convert the diagrammatic representation into a formal model of the service-based process; apply constraints to the formal model to verify an operation of the service-based process and output a verified formal model; and generate executable code therefrom for executing the service-based process therewith. - View Dependent Claims (19, 20)
-
Specification