PUMA
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.
 
 
Abstract
(English)
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.
Subject


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