论文信息 - Structural and Behavioural Views on OMT-Classes

Structural and Behavioural Views on OMT-Classes

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.

Gregor Engels | Jürgen Ebert | J. Ebert | G. Engels

[1] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[2] David Maier,et al. Review of "Introduction to automata theory, languages and computation" by John E. Hopcroft and Jeffrey D. Ullman. Addison-Wesley 1979. , 1980, SIGA.

[3] Alan Snyder. Encapsulation and inheritance in object-oriented programming languages , 1986, OOPSLA 1986.

[4] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[5] Michael Z. Spivey,et al. The Z notation , 1989 .

[6] Harold Ossher,et al. Extending Objects to Support Multiple Interfaces and Access Control , 1990, IEEE Trans. Software Eng..

[7] Setrag Khoshafian,et al. Object orientation: concepts, languages, databases, user interfaces , 1990 .

[8] Edward Yourdon,et al. Object-oriented design , 1991, Yourdon Press Computing Series.

[9] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.

[10] Markus Tresch,et al. Updatable Views in Object-Oriented Databases , 1991, DOOD.

[11] Stephen J. Mellor,et al. Object lifecycles: modeling the world in states , 1992 .

[12] John D. McGregor,et al. A note on inheritance and state machines , 1993, SOEN.

[13] Ivar Jacobson,et al. Object-Oriented Software Engineering , 1991, TOOLS.

[14] John J. Marciniak,et al. Encyclopedia of Software Engineering , 1994, Encyclopedia of Software Engineering.