×

SERVICE-BASED PROCESSES USING POLICY-BASED MODEL-TO-MODEL CONVERSION AND VALIDATION TECHNIQUES

  • US 20090089741A1
  • Filed: 09/28/2007
  • Published: 04/02/2009
  • Est. Priority Date: 09/28/2007
  • Status: Active Grant
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.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×