Konstruktion robuster und flexibler Klassenbibliotheken

Frick, Arne; Zimmer, Walter; Zimmermann, Wolf

doi:10.1007/s004500050059

Cited by 8 publications

(24 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Interface speci cation techniques have been developed for the precise documentation of program behavior ( GH93,FZZ96,PH95]) and as a tool for program design ( Jon91]). Interface speci cations relate the operational, state-based world of programs to the declarative, state-less world of universal speci cations.…”

Section: Introductionmentioning

confidence: 99%

Formal Specification Techniques for Object-Oriented Programs

Müller

Poetzsch-Heffter

1997

Informatik ’97 Informatik Als Innovationsmotor

View full text Add to dashboard Cite

Abstract. Speci cation techniques for object-oriented programs relate the operational world of programs to the declarative w orld of speci cations. We present a formal foundation of interface speci cation languages. Based on the formal foundation, we d e v elop new speci cation techniques to describe functional behavior, invariants, and side-e ects. Furthermore, we discuss the in uence of program extensions on program correctness.

show abstract

Section: Introductionmentioning

confidence: 99%

Formal Specification Techniques for Object-Oriented Programs

Müller

Poetzsch-Heffter

1997

Informatik ’97 Informatik Als Innovationsmotor

View full text Add to dashboard Cite

show abstract

“…Die Anforderungen an die Vererbungshierarchie des Systems und der von ihm benutzen Bibliotheken zum Nachweis der Systemkorrektheit aus der lokalen Korrektheit jeder Klasse sind zwar bekannt [2], aber es ist unklar, wie diese Hierarchien systematisch konstruiert werden können.…”

Section: Introductionunclassified

“…In [2] wurde bereits gezeigt, daß es verschiedene Vererbungsbeziehungen gibt, von denen nur eine, die konforme Vererbung, robust im Sinne der Polymorphie ist. Genauer: nur die konforme Vererbung erlaubt die Austauschbarkeit von Unterklassen, ohne daß neue Fehler eingeführt werden.…”

Section: Introductionunclassified

“…This paper introduces a method for the construction of robust class hierarchies. The construction method is based on the ideas presented in [2]. The terms conformance and specialization are refined regarding not the complete set of methods of a class but only subsets.…”

mentioning

confidence: 99%

“…This leads to the term partial conformance. In addition to [2] classes which are partial conforming may be used in a polymorphic way if the application context -the set of used methods -of this class is a subset of the conforming methods. This property can be checked statically.…”

mentioning

confidence: 99%

See 2 more Smart Citations

Eine Methode zur Konstruktion robuster Klassenhierarchien

Frick

Neumann

Zimmermann

1997

Informatik - Forschung und Entwicklung

Self Cite

View full text Add to dashboard Cite

Zusammenfassung. In diesem Beitrag wird eine Methode zur Konstruktion robuster Klassenhierarchien vorgestellt. Hierzu wird aus denÜberlegungen bezüglich der polymorphen Verwendung von Klassen [2] eine Vorgehensweise zur Konstruktion von Klassenhierarchien abgeleitet. Die Begriffe Konformität und Spezialisierung werden verfeinert, indem nicht mehr sämtliche Methoden einer Klasse, sondern Teilmengen davon betrachtet werden. Dies führt zum Begriff der partiellen Konformität. In Erweiterung von [2] sind partiell konforme Klassen dann polymorph verwendbar, wenn der Anwendungskontext, der sich aus der Benutzung der Klasse ergibt, sich ausschließlich auf konforme Methoden erstreckt. Diese Eigenschaft ist statisch zur Ubersetzungszeitüberprüfbar. Damit können Fehlbenutzungen bereits zurÜbersetzungszeit ausgeschlossen werden.Abstract. This paper introduces a method for the construction of robust class hierarchies. The construction method is based on the ideas presented in [2]. The terms conformance and specialization are refined regarding not the complete set of methods of a class but only subsets. This leads to the term partial conformance. In addition to [2] classes which are partial conforming may be used in a polymorphic way if the application context -the set of used methods -of this class is a subset of the conforming methods. This property can be checked statically. Illegal polymorphic use may be detected by the compiler.

show abstract

Construction of robust class hierarchies

Frick

Goos

Neumann

et al. 2000

Softw: Pract. Exper.

View full text Add to dashboard Cite

This article discusses the problem of constructing robust class libraries. Further design criteria include the flexibility of class libraries, the efficiency of the implementations, and their safe extensibility. We show that it is possible to design robust libraries to satisfy any two of the requirements at the same time. Although the solution may require an exponential growth in the number of classes compared to the original design, this apparent class explosion can be controlled by generating only the necessary additional classes automatically. As an application demonstrating both the theoretical problems and the power of our generator approach, the design of a library modelling data structures and algorithms for graphs is considered. Both the discussion and the results in this article generalize to other domains. A. FRICK ET AL.with components a 1 , . . . , a n where a i contains a value of type T i if T i is a basic type, and a reference to an object of type T i otherwise. The state of an object o comprises the values and references of its components, together with the states of the referenced objects. If x : T is an attribute and T is a type with attribute y : T , then x.y denotes the reference or value denoted by the y-attribute of T of the object referenced by x. This notation is extended inductively in the straightforward way. The operation #A creates a new object and returns a reference to it. The equality of objects is based on their reference, i.e. on object identities. However, sometimes structural equality is used. This notion is based on the fact that objects can be viewed as vertices of a directed graph and references as edges (e.g. see Schmidt and Zimmermann [9,10]). Two objects are structurally equal iff their directed graphs are isomorphic.The interface of a method declares the signature with its parameters. m(x 1 : T 1 , . . . , x k : T k ) : T denotes a method m with signature m : T 1 × · · · × T k → T , where parameter x i is a variable of type T i , i = 1, . . . , k. T = VOID iff m is a procedure. Methods may have an implementation in a particular programming language. In our case, we also consider methods without implementations. These methods are called abstract. An abstract class is a class that contains abstract methods. Classes without abstract methods are called implementation classes. In our article, abstract classes are denoted by the keyword abstract.In our examples, we use the language SATHER-K [11] for implementing methods. We just use the usual control structures of while-loops, for-loops, and conditionals with their usual semantics ‡ . The lhs := rhs operator denotes an assignment. It means that if lhs is an object of a basic type, then the value denoted by rhs will be the content of lhs. Otherwise, rhs denotes a reference to an object which is copied to lhs. Within the implementation of a function, res denotes the value/reference to be returned.

show abstract

Konstruktion robuster und flexibler Klassenbibliotheken

Cited by 8 publications

References 8 publications

Formal Specification Techniques for Object-Oriented Programs

Formal Specification Techniques for Object-Oriented Programs

Eine Methode zur Konstruktion robuster Klassenhierarchien

Construction of robust class hierarchies

Contact Info

Product

Resources

About