Abstract
Object-oriented specification languages provide means to specify the static structure, as well as the allowed dynamic behaviour of objects. Here, the dynamic behaviour is usually described by giving the methods and a state transition diagram which defines the allowed sequences of methods on objects of a certain class.
Specialized classes are defined using the inheritance relationship. In order to enable reusability while guaranteeing type substitutability, subclass specifications have to be compatible with respect to static and dynamic aspects with their corresponding superclass specifications.
Classes have to provide a large shopping list of operations to satisfy the needs of all possible users. The interests of specific users are often restricted to a subset of operations and thus to a restricted behaviour.
This paper describes a formalization of class descriptions given by attributes, operations, as well as state transition diagrams. It defines compatibility between sub- and superclasses and introduces the notion of views in the sense of hiding parts of a class description. It turns out that a view has the same properties as a (virtual) superclass.
Preview
Unable to display preview. Download preview PDF.
References
Grady Booch, Object Oriented Design, Benjamin/Cummings, Redwood City, 1991.
C.J. Date, An Introduction to Database Systems, Reading, Ma.: Addison Wesley, 1990, 5th Edition.
Jürgen Ebert, Gregor Engels, Design Representation, to appear in: J. Marciniak (Ed.), Encyclopedia of Software Engineering, Wiley, New York, 1993.
Brent Hailpern, Harold Ossher, Extending Objects to Support Multiple Interfaces and Access Control, IEEE-SE 16 (1990, 11).
John E. Hopcroft, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading MA, 1979.
Ivar Jacobson, Object-Oriented Software Engineering, Addison-Wesley, Wokingham, 1992.
R. Jungclaus, Gunter Saake, Thorsten Hartmann, Cristina Sernadas, Object-Oriented Specification of Information Systems: The TROLL Language, TU Braunschweig, Technical Report 91-04.
Setrag Khoshafian, Razmik Abnous, Object Orientation — Concepts, Languages, Databases, User Interfaces, John Wiley, New York, 1990.
A.Lopes, J.F.Costa, Rewriting for Reuse in Proceedings ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy, Nov. 1993, pp.43–55.
Bertrand Meyer, Object-Oriented Software Construction, Prentice Hall, Englewood Cliffs, 1988.
J.D.McGregor, D.M. Dyer, A Note on Inheritance and State Machines, ACM Software Engineering Notes, Vol. 18, No. 4, Oct. 1993, pp. 61–69.
J.Rumbaugh, M.Blaha, W.Premerlani, F.Eddy, W.Lorensen, Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs NJ, 1991.
Gunter Saake, Peter Hartel, Ralf Jungclaus, Roel Wieringa, Remco Feenstra, Inheritance Conditions for Object Life Cycle, in Udo W. Lipeck, Gottfried Vossen (Hrsg.), Formale Grundlagen für den Entwurf von Informationssystemen, Universität Hannover, Informatik-Bericht 03/94, 79–88.
Marc H. Scholl, Christian Laasch, Markus Tresch, Updatable Views in Object-Oriented Databases, in C. Delobel, M. Kifer, Y. Masunaga (Eds.), Deductive and Object-Oriented Databases DOOD'91, Berlin: Springer-Verlag, LNCS 566, 1991, 189–207.
S. Shlaer, St.J. Mellor, Object Lifecycles: Modeling the world in state, Yourdon Press, Englewood Cliffs NJ, 1992.
A. Snyder, Encapsulation and inheritance in object-oriented programming languages, in Conf. Object-Oriented Programming Systems, Languages, and Applications, Portland, OR, ACM, Sept. 1986, pp. 38–45.
J.M. Spivey, The Z Notation (2nd Edition), Prentice Hall, New York, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ebert, J., Engels, G. (1994). Structural and behavioural views on OMT-classes. In: Bertino, E., Urban, S. (eds) Object-Oriented Methodologies and Systems. ISOOMS 1994. Lecture Notes in Computer Science, vol 858. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014022
Download citation
DOI: https://doi.org/10.1007/BFb0014022
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58451-3
Online ISBN: 978-3-540-48804-0
eBook Packages: Springer Book Archive