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.
A formal representation for state diagrams in the OMT methodology
Castelli D;
1996
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_242064-doc_63245.pdf
solo utenti autorizzati
Descrizione: SOFSEM96
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.89 MB
Formato
Adobe PDF
|
1.89 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
