Inheritance Conditions for Object Life Cycle Diagrams
نویسندگان
چکیده
Inheritance is the main principle in object-oriented design methods to support structuring and reuse of object behaviour descriptions. Most proposals restrict the (formal) use of inheritance to method interfaces and method eeect speciications. We propose to extend the inheritance relation to cover whole object life cycles, i.e. to long term object behaviour. After sketching the basic idea of inheriting object life cycles, we give inheritance conditions and inheritance-preserving construction operators for a speciic graphical notation for specifying life cycles.
منابع مشابه
Inheritance of Object Behavior - Consistent Extension of Object Life Cycles
Inheritance is one of the most prominent features of object-oriented design. Object types are organized in hierarchies in which subtypes inherit the structure as well as the behavior of supertypes. As inheritance of behavior is concerned, the discussion has mainly focused on inheritance of single activities in the past. Object behavior, however, is speciied at two interrelated levels of detail:...
متن کاملSpecialization of Object Life Cycle Deenitions
Several object-oriented modeling approaches propose to describe the dynamic behaviour of objects by state transition diagrams. None of them provides precise rules or conditions for the interrelation between the behaviour description of classes and those of their sub-classes. In this paper, we discuss this interrelation in detail. It turns out that one has to distinguish between the observable a...
متن کاملInheritance of Dynamic Behavior in UML
One of the key issues of object-oriented modeling and design is inheritance. It allows for the definition of subclasses that inherit features of some superclass. Inheritance is well defined for static properties of classes such as attributes and operations. However, there is no general agreement on the meaning of inheritance when considering the dynamic behavior of objects, captured by their li...
متن کاملDeciding Life-Cycle Inheritance on Petri Nets
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynamic behavior of objects, as captured by their life cycles, there is no general agreement on the meaning of inheritance. Basten and Van der Aalst introduced the notion of life-cycle inheritance for this purpose. Unfortu...
متن کاملA Process-Algebraic Approach to Life-Cycle Inheritance
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of subclasses that inherit features of some superclass. Inheritance is well defined for static properties of classes such as attributes and methods. However, there is no general agreement on the meaning of inheritance when considering the dynamic behavior of objects, determined by their life cycles. T...
متن کامل