Abstract
This paper examines the inheritance of object life cycles that are specified by behavior diagrams. A behavior diagram of an object type models possible life cycles of its instances by states, activities and arcs corresponding to places, transitions and arcs of Petri Nets. In an in heritance hierarchy, subtypes specialize the life cycle of supertypes by extension, i.e., adding states and activities, and (the focus of this paper) refinement, i.e., decomposing states and activites into substates and sub-activities.
The main contribution of this paper is the identification of necessary and sufficient rules for checking behavior consistency between a behavior diagram of a type and a refined subtype, as well as for the combination of extension and refinement.
Preview
Unable to display preview. Download preview PDF.
References
P. Bichler, M. Schrefl “Active Object-Oriented Database Design Using Active Object/Behavior Diagrams”, in IEEE RIDE-ADS'94, 1994.
W. Brauer, R. Gold, and W. Vogler, “A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets,” Springer LNCS 483, pp. 1–46, 1991.
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.
J. Ebert and G. Engels, “Observable or Invocable Behaviour — You Have to Choose!” Technical Report, Koblenz University, 1994.
D.W. Embley, B.D. Kurtz, and S.N. Woodfield, Object-Oriented Systems Analysis — A Model-Driven Approach, Yourdon Press, 1992.
G. Kappel and M. Schrefl, “Using an Object-Oriented Diagram Technique for the Design of Information Systems,” in Proceedings of the International Working Conference on Dynamic Modelling of Information Systems, ed. H.G. Sol, K.M. Van Hee, pp. 121–164, North-Holland, 1991.
G. Kappel and M. Schrefl, “Object/Behavior Diagrams,” in Proc. 7th Int. Conf. IEEE Data Engineering, pp. 530–539, 1991.
B. Paech and P. Rumpe, “A new Concept of Refinement used for Behaviour Modelling with Automata,” Proc. FME'94, Springer LNCS 873, 1994.
J.L. Peterson, “Petri nets,” in ACM Computing Surveys, pp. 223–252, 1977.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modelling and Design, Prentice-Hall, 1991.
G. Saake, P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra, “Inheritance Conditions for Object Life Cycle Diagrams,” in EMISA Workshop, 1994.
M. Schrefl, “Behavior Modeling by Stepwise Refining Behavior Diagrams,” in Proc. 9th Int. Conf. Entity-Relationship Approach, pp. 113–128, 1990.
M. Schrefl and M. Stumptner, “Behavior Consistent Extension of Object Life Cycles,” in Proceedings 00-ER 95, pp. 133–145, Springer LCNS 1021, Dec. 1995.
M. Schrefl and M. Stumptner, “Behavior Consistent Refinement of Object Life Cycles,” Institutsbericht, Inst. für Wirtschaftsinformatik, Universität Linz, Austria, 1997.
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.
B. Liskov and J.M. Wing, “A Behavioral Notion of Subtyping,” ACM Transactions on Programming Languages and Systems, 16 (6) pp. 1811–1841, 1994.
S. Matsuoka and A. Yonezawa, “Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages,” in Research Directions in Concurrent Object-Oriented Programming, ed. G. Aga, P. Wegner, and A. Yonezawa, pp. 107–150, ACM Press, 1993.
O. Nierstrasz, “Regular Types for Active Objects,” in Object-Oriented Programming Systems Languages and Applications (OOPSLA), Special Issue of SIGPLAN Notices, vol. 28, Dec. 1993.
I. Nierstrasz and T. Murata, “A method for stepwise refinement and abstraction of Petri nets,” in J. Computer and System Sciences, vol. 27, pp. 51–76, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schrefl, M., Stumptner, M. (1997). Behavior consistent refinement of object life cycles. In: Embley, D.W., Goldstein, R.C. (eds) Conceptual Modeling — ER '97. ER 1997. Lecture Notes in Computer Science, vol 1331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63699-4_13
Download citation
DOI: https://doi.org/10.1007/3-540-63699-4_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63699-1
Online ISBN: 978-3-540-69630-8
eBook Packages: Springer Book Archive