Specialization of Object Lifecycles

Object lifecycle is now a standard concept of object-oriented modeling methods. Current works about lifecycle specialization do not regard the structure of the specialized class: This may lead to some inheritance problems highlighted in this paper. A new notion we introduce here, top-down conformity, provides a sound and useful approach to validate the behavior inheritance in relation with the class specialization, keywords: concepts and methodologies, specialization, behavioral conformity

[1]  François Bancilhon,et al.  The O2 object-oriented database system , 1992, SIGMOD '92.

[2]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[3]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[4]  John D. McGregor,et al.  A note on inheritance and state machines , 1993, SOEN.

[5]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[6]  Bertrand Meyer.  The many faces of inheritance: a taxonomy of taxonomy , 1996, Computer.

[7]  H. Dieter Rombach.  Proceedings of the 18th international conference on Software engineering , 1996, ICSE 1996.

[8]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[9]  David W. Embley,et al.  Object-oriented systems analysis - a model-driven approach , 1991, Yourdon Press Computing series.

[10]  Derek Coleman,et al.  Introducing Objectcharts or how to use Statecharts in object-oriented design , 1992 .

[11]  Gilles Falquet,et al.  Six Spaces for Global Information Systems Design , 1991 .

[12]  Zahir Tari,et al.  On the design of object-oriented databases , 1992 .

[13]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[14]  CastagnaGiuseppe.  Covariance and contravariance , 1995 .

[15]  Giuseppe Castagna,et al.  Covariance and contravariance: conflict without a cause , 1995, TOPL.

[16]  Gunter Saake,et al.  Inheritance conditions for object life cycle diagrams , 1994 .

[17]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[18]  Stephen J. Mellor,et al.  Object lifecycles: modeling the world in states , 1992 .

[19]  David Harel,et al.  On visual formalisms , 1988, CACM.

[20]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[21]  Michael Schrefl,et al.  Object/behavior diagrams , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[22]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[23]  Michael Schrefl,et al.  Behavior Consistent Extension of Object Life Cycles , 1995, OOER.