Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Modeling

ER 1995: OOER '95: Object-Oriented and Entity-Relationship Modeling pp 133–145Cite as

Behavior consistent extension of object life cycles

  • Behavioural Modeling
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1021))

Abstract

Various notions of conformance between operations of a subtype and operations of a supertype have been proposed (e.g., contravariance and covariance). Similarly, different notions of “consistent extension” of object life cycles can be defined to meet various objectives.

This paper treats inheritance of object life cycles in the realm of behavior diagrams that identify legal sequences of states and activities (operations). It presents necessary and sufficient rules for checking three different kinds of conformance (observation consistency, weak invocation consistency, and strong invocation consistency) between a behavior diagram of a subtype and that of its supertype.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Bichler, M. Schrefl “Active Object-Oriented Database Design Using Active Object/Behavior Diagrams”, in IEEE RIDE-ADS'94, 1994.

    Google Scholar 

  2. G. Booch, Object-Oriented Analysis and Design with Applications (2nd edition), Benjamin Cummings, 1994.

    Google Scholar 

  3. W. Brauer and R. Gold and W. Vogler, “A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets,” Springer LNCS 483, pp. 1–46, 1991.

    Google Scholar 

  4. P.S. Canningen, W.R. Cook, W.L. Hill and W.G. Olthoff, “Interfaces for Strongly-Typed Object-Oriented Programming,” in Proc. OOPSLA'89, ed. N. Meyrowitz, pp. 457–467, 1989.

    Google Scholar 

  5. L. Cardelli, “A Semantics of Multiple Inheritance,” in Information and Computation, vol. 76, Academic Press, 1988.

    Google Scholar 

  6. J. Ebert and G. Engels, “Observable or Invocable Behaviour — You Have to Choose!” Technical Report, Koblenz University, 1994.

    Google Scholar 

  7. D.W. Embley, B.D. Kurtz and S.N. Woodfield, Object-Oriented Systems Analysis — A Model-Driven Approach, Yourdon Press, 1992.

    Google Scholar 

  8. G. Kappel and M. Schrefl, “Object/Behavior Diagrams,” in Proc. 7th Int. Conf. IEEE Data Engineering, pp. 530–539, 1991.

    Google Scholar 

  9. G. Kappel and M. Schrefl, “Inheritance of Object Behavior — Consistent Extension of Object Life Cycles,” in Proc. East/West Database Workshop, pp. 289–300, Springer, 1995.

    Google Scholar 

  10. A. Lopes and J.F. Costa, “Rewriting for Reuse,” in Proc. ERCIM Workshop on Development and Transformation of Programs, pp. 43–55, Nancy (F), 1993.

    Google Scholar 

  11. J.D. McGregor and D.M. Dyer, “A Note on Inheritance and State Machines,” ACM SIGSOFT Software Engineering Notes, 18 (4) pp. 61–69, 1993.

    Google Scholar 

  12. B. Meyer, “Applying Design by Contract”, IEEE Computer, 25(10), 1992, pp. 40–51.

    Google Scholar 

  13. B. Paech and P. Rumpe, “A new Concept of Refinement used for Behaviour Modelling with Automata,” Proc. FME'94, Springer LNCS 873, 1994.

    Google Scholar 

  14. J.L. Peterson, “Petri nets,” in ACM Computing Surveys, pp. 223–252, 1977.

    Google Scholar 

  15. L. Pomello and G. Rozenberg and C. Simone, “A Survey of Equivalence Notions for Net Based Systems,” Springer LNCS 609, 1992.

    Google Scholar 

  16. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modelling and Design, Prentice-Hall, 1991.

    Google Scholar 

  17. G. Saake, P. Hartel, R. Jungclaus, R.Wieringa and R. Feenstra, “Inheritance Conditions for Object Life Cycle Diagrams,” in EMISA Workshop, 1994.

    Google Scholar 

  18. M. Schrefl, “Behavior Modeling by Stepwise Refining Behavior Diagrams,” in Proc. 9th Int. Conf. Entity-Relationship Approach, pp. 113–128, 1990.

    Google Scholar 

  19. M. Schrefl and M. Stumptner, “Behavior Consistent Extension of Object Life Cycles,” Institutsbericht 95.03, Inst. für Wirtschaftsinformatik, Universität Linz, Austria, 1995.

    Google Scholar 

  20. A. Sernadas and H.-D. Ehrich, “What is an Object, After All?,” in Proc. IFIP WG 2.6 Working Conference on Object-Oriented Databases: Analysis, Design and Construction (DS-4), ed. R. Meersman et. al., pp. 39–70, North-Holland, 1991.

    Google Scholar 

  21. A. Snyder, “Inheritance and the Development of Encapsulated Software Components,” in Research Directions in Object-Oriented Programming, ed. B. Shriver and P. Wegner, pp. 165–188, The MIT Press, 1987.

    Google Scholar 

  22. P. Wegner, “Dimensions of Object-Based Language Design,” in Proc. OOPSLA'87 pp. 168–182, Dez. 1987.

    Google Scholar 

  23. P. Wegner and S.B. Zdonik, “Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like,” in Proc. ECOOP'88, ed. Gjessing S. and Nygaard K., pp. 55–77, Springer LNCS 322, 1988.

    Google Scholar 

  24. G. Winskel, “Petri nets, algebras, morphisms, and compositionality,” in Information and Computation, vol. 72, pp. 197–238, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Systems, University of Linz, Austria

    Michael Schrefl

  2. Christian Doppler Laboratory for Expert Systems, TU Wien, Austria

    Markus Stumptner

Authors
  1. Michael Schrefl
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Markus Stumptner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael P. Papazoglou

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schrefl, M., Stumptner, M. (1995). Behavior consistent extension of object life cycles. In: Papazoglou, M.P. (eds) OOER '95: Object-Oriented and Entity-Relationship Modeling. ER 1995. Lecture Notes in Computer Science, vol 1021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020527

Download citation

  • DOI: https://doi.org/10.1007/BFb0020527

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60672-7

  • Online ISBN: 978-3-540-48527-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation