KIT | KIT-Bibliothek | Impressum

Semantics-Based Composition of Class Hierarchies

Snelting, Gregor; Tip, Frank

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. We present 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.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2002
Sprache Englisch
Identifikator ISBN: 3-540-43759-2
ISSN: 0302-9743
KITopen ID: 1000017667
Erschienen in ECOOP 2002 - object-oriented programming. 16th European Conference, Malága, Spain, June 10-14, 2002. Ed.: B. Magnusson
Verlag Springer, Berlin
Seiten 562 - 584
Serie Lecture notes in computer science ; 2374
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page