Advertisement

OOIS’98 pp 259-275 | Cite as

Specialization of Object Lifecycles

  • André Le Grand
Conference paper

Abstract

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

Keywords

Destination State Base Class State Semantic Member Club State Deletion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Booch G, Rumbaugh J. Unified Modeling Language vl.O. Rational Software Corporation, 1996.Google Scholar
  2. [2]
    Harel D . On Visual Formalisms. Communications of the ACM, Vol 31 (5), may 1988. Google Scholar
  3. [3]
    Northern California Lacrosse Association. Northern California Lacrosse Web Page, http://www.tol.net/ lacrosse/.
  4. [4]
    Jacobson I, Christerson M, Jonsson P, OEvergaard G. Object-oriented software engineering: a use case driven approach. Wokingham GB; Reading Mass, Addison-Wesley, 1993 (1993) Google Scholar
  5. [5]
    Shlaer S, Mellor S J. Object lifecycles: modeling the world in states. Yourdon Press computing series, 1992. Google Scholar
  6. [6]
    Tari Z. On the design of object-oriented databases. Proceedings of the international conference on Entity-Relationship approach, Lecture Notes in Computer Science, vol 645, pp. 388–405, Springer-Verlag, 1992. Google Scholar
  7. [7]
    Embley D W, Kurtz B D, Woodfield SN. Object-Oriented Systems Analysis: a model-driven approach. Yourdon Press, 1992 Google Scholar
  8. [8]
    Kappel G, Schrefl M. Object/behavior diagrams. Proceedings of the 7th international Conference on Data Engineering, pp 530–539, 1991. Google Scholar
  9. [9]
    Léonard M, Estier T, Falquet G, Guyot J. Six Spaces for Global Information Systems Design. Proceedings of the IFIP working Conference on the Object Oriented Approach in Information Systems, Quebec City, Canada, Oct. 1991.Google Scholar
  10. [10]
    Booch G . Object-oriented analysis and design with applications. Benjamin Cummings Publishing, 1994. Google Scholar
  11. [11]
    Coleman D, Hayes F, Bear S. Introducing ObjectCharts or how to use Statecharts in Object- Oriented Design. IEEE Transactions on Software Engineering, vol. 18 (1), January 1992. Google Scholar
  12. [12]
    Harel D, Gery E. Executable Object Modeling with Statecharts. Proceedings of the 18th International Conference on Software Engineering, pp. 246–257, Springer, 1996. Google Scholar
  13. [13]
    Rumbaugh J, Blaha M, Premerlany W, Eddy F, Lorensen W. Object-oriented modeling and design. Prentice Hall, 1991.Google Scholar
  14. [14]
    McGregor J D, Dyer D M. A Note on Inheritance and State Machines. ACM SIGSOFT Software Engineeering Notes, Vol. 18 no 4, Oct. 1993 Google Scholar
  15. [15]
    Saake G, Härtel P, Junglaus R, Wieringa R, Feenstra R.Inheritance conditions for object lifecycle diagrams. Proceedings of the EMISA Workshop, 1994.Google Scholar
  16. [16]
    Ebert J, Engels G. Observable or Invocable Behaviour D You have to choose. Technical report TR94–38, University of Leiden, Netherlands, 1994 Google Scholar
  17. [17]
    Ebert J, Engels G. Structural and behavioral views on OMT-Classes. Proceedings of the int. symposium on Object-Oritented Methodologies and Systems, ISOOMS’94, Lecture Notes in Computer Science, vol 858, pp. 142–157, Springer-Verlag, 1994. Google Scholar
  18. [18]
    Schrefl M, Stumptner M. Behavior Consistent Extension of Object Life Cycles. Proceedings of the 14th int. Conf. Object-Oriented and Entity-Relationship Modeling, OO-ER’95, Lecture Notes in Computer Science, vol 1021, Springer-Verlag, 1995 Google Scholar
  19. [19]
    Paech B, Rumpe R. A new Concept of Refinement used for Behavior Modelling with Automata. Proceedings of the 2nd int. symposium on Formal Method in Engineering, FME’94, Lecture Notes in Computer Science, vol 873, pp. 154–174, Springer-Ver lag, 1994 Google Scholar
  20. [20]
    Meyer B . The many faces of inheritance: a taxonomy of taxonomy. Computer, may 1996. Google Scholar
  21. [21]
    Cardelli L . A semantics of multiple inheritance. Proceedings of the international symposium on the semantics of data types, Lecture Notes in Computer Science, vol 173, pp. 51–67, Springer-Verlag, 1984 Google Scholar
  22. [22]
    Meyer B. Eiffel: the language. Prentice-Hall 1991 Google Scholar
  23. [23]
    Meyer B. Object-oriented software construction. 2nd edition, Prentice-Hall, 1996.Google Scholar
  24. [24]
    Bancilhon F, Delobel C, Kanellakis P. Implementing an object-oriented database system. The story of 02. Morgan Kaufman 1992 Google Scholar
  25. [25]
    Castagna G . Covariance and contravariance. Conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3), pp 431–447, 1995 Google Scholar

Copyright information

© Springer-Verlag Lonodn Berlin Heidelberg 1998

Authors and Affiliations

  • André Le Grand
    • 1
  1. 1.Information Sytem DepartmentUniversity of GenevaGenève 4Switzerland

Personalised recommendations