Abstract
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 dynamic behavior of objects. This paper studies inheritance of dynamic behavior in a framework based on Petri nets. The notions of an object life cycle and inheritance between life cycles are defined. The inheritance relation is based on two fundamental concepts, namely blocking and hiding method calls. Several transformation rules are given to construct subclasses from a given superclass, thus allowing reuse of life-cycle specifications during a design. To show the validity of the approach, the results are applied to the development of a groupware editor.
This work was done while the author was employed at the Department of Computing Science, Eindhoven University of Technology, The Netherlands.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W.M.P. van der Aalst and T. Basten. Life-Cycle Inheritance: A Petri-Net-Based Approach. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, 18th. International Conference, ICATPN’97, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 62–81, Toulouse, France, June 1997. Springer, Berlin, Germany, 1997.
T. Basten. In Terms of Nets: System Design with Petri Nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, December 1998.
T. Basten and W.M.P. van der Aalst. A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance = Encapsulation + Abstraction. Computing Science Report 96/05, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, March 1996.
G. Booch. Object-Oriented Analysis and Design: With Applications. Benjamin/Cummings, Redwood City, CA, USA, 1994.
J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.
M. Fowler and K. Scott. UML Distilled: Applying the Standard Object Modeling Language. Addison-Wesley, Reading, Massachusetts, USA, 1997.
R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics (extended abstract). In G.X. Ritter, editor, Information Processing 89: Proceedings of the IFIP 11th. World Computer Congress, pages 613–618, San Fransisco, California, USA, August/September 1989. Elsevier Science Publishers B.V., North-Holland, 1989.
K.M. van Hee. Information Systems Engineering: A Formal Approach. Cambridge University Press, Cambridge, UK, 1994.
K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1, Basic Concepts. EATCS monographs on Theoretical Computer Science. Springer, Berlin, Germany, 1992.
C. Lakos. From Coloured Petri Nets to Object Petri Nets. In G. De Michelis and M. Diaz, editors, Application and Theory of Petri Nets 1995, 16th. International Conference, Proceedings, volume 935 of Lecture Notes in Computer Science, pages 278–297, Torino, Italy, June 1995. Springer, Berlin, Germany, 1995.
W. Reisig. Petri Nets: An Introduction, volume 4 of EATCS monographs on Theoretical Computer Science. Springer, Berlin, Germany, 1985.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, USA, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Basten, T., van der Aalst, W.M. (2001). Inheritance of Dynamic Behavior Development of a Groupware Editor. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_15
Download citation
DOI: https://doi.org/10.1007/3-540-45397-0_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41942-6
Online ISBN: 978-3-540-45397-0
eBook Packages: Springer Book Archive