We discuss correctness preserving transformations of specifications in the passage from the Information viewpoint to the Computational viewpoint of the ODP ISO reference model. In our transformation 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 as the main distinguishing feature. For the Computational viewpoint the language chosen is a variant of the Actor language.

Tranformations and Consistent Semantics for ODP Viewpoints

BERNARDESCHI, CINZIA;
1997

Abstract

We discuss correctness preserving transformations of specifications in the passage from the Information viewpoint to the Computational viewpoint of the ODP ISO reference model. In our transformation 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 as the main distinguishing feature. For the Computational viewpoint the language chosen is a variant of the Actor language.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/46213
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact