Istituto di Scienza e Tecnologie dell'Informazione     
Bertino E., Castelli D., Vitale F. A formal representation for state diagrams in the OMT methodology. In: SOFSEM'96: Theory and Practice of Informatics. 23rd Seminar on Current Trends in Theory and Practice of Informatics (Milovy, Czech Republic, 23-30 novembre 1996). Proceedings, pp. 327 - 334. K.G. Jeffery, J. Kral, M. Bartosek (eds.). (Lecture Notes in Computer Science, vol. 1175). Springer, 1996.
The paper proposes a formalization of the object and dynamic OMT models in terms of the Abstract Machine model and shows how certain relevant properties, such as whether a state is reachable, there are non-deterministic state transitions or cyclic state transitions, can be detected by using the proof mechanisms provide for Abstract Machine.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional