Towards correctness preserving transformations between ODP viewpoints

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.