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.