| Gunter Saake, Peter Hartel, Ralf Jungclaus, Roel Wieringa, Remco Feenstra, Inheritance Conditions for Object Life Cycle, in: Udo W. Lipeck, Gottfried Vossen (Hrsg.), Formale Grundlagen fur den Entwurf von Informationssystemen, Universit at Hannover, Informatik-Bericht 03/94, pp.79-88. |
....This observation caused several research groups to investigate this question in more detail. First published results can be grouped into constructive and descriptive approaches, respectively. They deal with a state transition diagram (STD) description of behaviour. Constructive approaches like [SaHaJu 94] LopCos 93] and [McGDye 93] define rules how to modify the STD of a superclass to get a legal STD of a subclass. An analogous result has been published by [KapSch 94] in the context of Petri net like descriptions of object behaviour. Descriptive approaches like homomorphisms [EbeEng 94] or ....
....and [McGDye 93] define rules how to modify the STD of a superclass to get a legal STD of a subclass. An analogous result has been published by [KapSch 94] in the context of Petri net like descriptions of object behaviour. Descriptive approaches like homomorphisms [EbeEng 94] or check conditions [SaHaJu 94] define restrictions which have to be fulfilled by an STD of a subclass with respect to the STD of a corresponding superclass. With the assumption that a subclass inherits all methods from the superclass and may also have additional methods, all these approaches follow the same intuition: An ....
Gunter Saake, Peter Hartel, Ralf Jungclaus, Roel Wieringa, Remco Feenstra, Inheritance Conditions for Object Life Cycle, in: Udo W. Lipeck, Gottfried Vossen (Hrsg.), Formale Grundlagen fur den Entwurf von Informationssystemen, Universit at Hannover, Informatik-Bericht 03/94, pp.79-88.
No context found.
Gunter Saake, Peter Hartel, Ralf Jungclaus, Roel Wieringa, Remco Feenstra, Inheritance Conditions for Object Life Cycle, in: Udo W. Lipeck, Gottfried Vossen (Hrsg.), Formale Grundlagen fur den Entwurf von Informationssystemen, Universit at Hannover, Informatik-Bericht 03/94, pp.79-88.
No context found.
Gunter Saake, Peter Hartel, Ralf Jungclaus, Roel Wieringa, Remco Feenstra, Inheritance Conditions for Object Life Cycle, in: Udo W. Lipeck, Gottfried Vossen (Hrsg.), Formale Grundlagen fur den Entwurf von Informationssystemen, Universitat Hannover, Informatik-Bericht 03/94, pp.79-88.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC