Structural and behavioural views on OMT-classes Export

@incollection{citeulike:4051192, 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.}, author = {Ebert, J\"{u}rgen and Engels, Gregor}, citeulike-article-id = {4051192}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BFb0014022}, citeulike-linkout-1 = {http://www.springerlink.com/content/d4285m0837926g78}, doi = {10.1007/BFb0014022}, journal = {Object-Oriented Methodologies and Systems}, keywords = {1994, \_to\_download, omt, pre-uml, statecharts}, pages = {142--157}, posted-at = {2009-02-14 13:36:52}, priority = {2}, title = {Structural and behavioural views on OMT-classes}, url = {http://dx.doi.org/10.1007/BFb0014022}, year = {1994} }

TY - CHAP ID - citeulike:4051192 L3 - citeulike-article-id:4051192 N2 - 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. JF - Object-Oriented Methodologies and Systems EP - 157 TI - Structural and behavioural views on OMT-classes SP - 142 KW - 1994 KW - _to_download KW - omt KW - pre-uml KW - statecharts AU - Ebert, Jürgen AU - Engels, Gregor PY - 1994/// UR - http://dx.doi.org/10.1007/BFb0014022 ER -