Patents by Inventor Jakob Rehob

Jakob Rehob 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).

  • Error detection in web services systems
    Patent number: 7536606
    Abstract: Methods and systems are provided for automatically generating an accurate model of communications processes between disparate computing systems that may be analyzed in an efficient manner for error detection in web services systems. Business Process Execution Language for Web Services (BPEL) descriptions are automatically generated for the BPEL-based executable processes utilized by each communicating computing system in a given web services system. The BPEL abstract process descriptions for each communicating computing system are translated into a combined process model according to a suitable modeling language. The process model is tested by a model checking software application. Communications errors between the disparate computing systems are detected by automatically testing the combined process model according to a variety of potential communications scenarios.
    Type: Grant
    Filed: April 30, 2004
    Date of Patent: May 19, 2009
    Assignee: Microsoft Corporation
    Inventors: Anthony Dean Andrews, Sriram K. Rajamani, Jakob Rehob
  • Error detection in web services systems
    Publication number: 20050257098
    Abstract: Methods and systems are provided for automatically generating an accurate model of communications processes between disparate computing systems that may be analyzed in an efficient manner for error detection in web services systems. Business Process Execution Language for Web Services (BPEL) descriptions are automatically generated for the BPEL-based executable processes utilized by each communicating computing system in a given web services system. The BPEL abstract process descriptions for each communicating computing system are translated into a combined process model according to a suitable modeling language. The process model is tested by a model checking software application. Communications errors between the disparate computing systems are detected by automatically testing the combined process model according to a variety of potential communications scenarios.
    Type: Application
    Filed: April 30, 2004
    Publication date: November 17, 2005
    Applicant: Microsoft Corporation
    Inventors: Anthony Andrews, Sriram Rajamani, Jakob Rehob