Michael Schrefl, Markus Stumptner,
"Behavior Consistent Specialization of Object Life Cycles"
, in Axel van Lamsveerde (ed.), in ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 11, Nummer 1, ACM Press, Seite(n) 92-148, 1-2002, ISSN: 1049-331X
Behavior Consistent Specialization of Object Life Cycles
Sprache des Titels:
Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but they provide also an overall description on how instances evolve over time. Such a description is often referred to as ``object life cycle''.
Object-oriented systems organize object types in hierarchies in which subtypes inherit and specialize the structure and behavior of their supertypes. Evidently, the behavior of a subtype should specialize the behavior of its supertype according to some clearly defined consistency criteria. Such criteria have been formulated in terms of type systems for semantic data models and object-oriented programming languages. But corresponding criteria for the specialization of object life cycles have so far not been thoroughly investigated.
This paper defines such criteria in the realm of Object/Behavior diagrams, which have been originally developed for the design of object-oriented databases. Its main contribution are necessary and sufficient rules for checking behavior consistency between object life cycles of object types in specialization hierarchies with multiple inheritance.
Sprache der Kurzfassung:
ACM Transactions on Software Engineering and Methodology (TOSEM)
Anzahl der Seiten:
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (email@example.com). Please include the paper-no. (Schr02a) and agree to use the paper for scientific purposes and private use only!