PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bernardeschi C., Fantechi A., Najm E., Nimour A., Olsen F. Towards correctness preserving transformations between ODP viewpoints. In: ERCIM - Second International Ercim Workshop on Formal Methods for Industrial Critical Systems (Cesena, 4-5 July 1997). Proceedings, pp. 181 - 188. S. Gnesi, D. Latella (eds.). ERCIM, 1997.
 
 
Abstract
(English)
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.
Subject ODP viewpoints


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional