We discuss correctness preserving transformation of specifications in the passage from the Information viewpoint to the Computation viewpoint of the ODP" ISO reference model. In our tranformation exercise we use two relatively simple languages for each of these viewpoints; a. class-oriented language for the Information viewpoint with the separation of actions from classes ass the main distinguishing feature. For the Computation viewpoint the language chosen is a variant of the Actor language.
Towards correctness preserving transformations between ODP viewpoints
Fantechi A;
1997
Abstract
We discuss correctness preserving transformation of specifications in the passage from the Information viewpoint to the Computation viewpoint of the ODP" ISO reference model. In our tranformation exercise we use two relatively simple languages for each of these viewpoints; a. class-oriented language for the Information viewpoint with the separation of actions from classes ass the main distinguishing feature. For the Computation viewpoint the language chosen is a variant of the Actor language.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_409276-doc_143846.pdf
solo utenti autorizzati
Descrizione: Towards correctness preserving transformations between ODP viewpoints
Tipologia:
Versione Editoriale (PDF)
Dimensione
983.18 kB
Formato
Adobe PDF
|
983.18 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
