Patents by Inventor Basit Shafiq

Basit Shafiq has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Service-based processes using policy-based model-to-model conversion and validation techniques
    Patent number: 8601432
    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.
    Type: Grant
    Filed: September 28, 2007
    Date of Patent: December 3, 2013
    Assignee: SAP AG
    Inventors: Christof Bornhoevd, Aabhas Paliwal, Nabil Adam, Basit Shafiq
  • SERVICE-BASED PROCESSES USING POLICY-BASED MODEL-TO-MODEL CONVERSION AND VALIDATION TECHNIQUES
    Publication number: 20090089741
    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.
    Type: Application
    Filed: September 28, 2007
    Publication date: April 2, 2009
    Applicant: SAP AG
    Inventors: Christof Bornhoevd, Aabhas Paliwal, Nabil Adam, Basit Shafiq