Patents by Inventor Nabil Adam

Nabil Adam 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).

  • 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
  • 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
  • Publication number: 20080086490
    Abstract: A system may include an enhancement unit and a matching unit. The enhancement unit may be to compute an enhanced request set of keywords that include keywords of a request set of keywords of a service request and a related keyword. The related keyword may be represented by an ontology concept that has a relation to a further ontology concept representing a keyword of the request set. The matching unit may be to identify a service match the service request by computing a similarity between the enhanced request set of keywords and a service set of keywords of the service.
    Type: Application
    Filed: October 4, 2006
    Publication date: April 10, 2008
    Inventors: Aabhas V. Paliwal, Nabil Adam, Christof Bornhoevd