Patents by Inventor Gregor Snelting

Gregor Snelting 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).

  • Semantics-based composition of class hierarchies
    Patent number: 7137104
    Abstract: A system, method and computer readable medium for providing class hierarchy composition aims at constructing software systems by composing a set of class hierarchies into an executable system. Current composition algorithms cannot provide semantic guarantees. The present invention provides a composition algorithm, together with an interference criterion and its correctness proof, which guarantees that behavior of the original hierarchies is preserved for interference-free compositions. In case of interference, an impact analysis can determine the consequences of integration. The method is based on existing program analysis technology and is illustrated by various examples.
    Type: Grant
    Filed: May 21, 2002
    Date of Patent: November 14, 2006
    Assignee: International Business Machines Corporation
    Inventors: Frank Tip, Gregor Snelting
  • Semantics-based composition of class hierarchies
    Publication number: 20030221182
    Abstract: A system, method and computer readable medium for providing class hierarchy composition aims at constructing software systems by composing a set of class hierarchies into an executable system. Current composition algorithms cannot provide semantic guarantees. The present invention provides a composition algorithm, together with an interference criterion and its correctness proof, which guarantees that behavior of the original hierarchies is preserved for interference-free compositions. In case of interference, an impact analysis can determine the consequences of integration. The method is based on existing program analysis technology and is illustrated by various examples.
    Type: Application
    Filed: May 21, 2002
    Publication date: November 27, 2003
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Frank Tip, Gregor Snelting