Semantics-based composition of class hierarchies
US7137104B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 21, 2002 |
| Grant date | Nov 14, 2006 |
| Priority date | — |
| Expiry date | May 11, 2024 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/4492
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.