PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A. On combining META-IV and CCS. Internal note IEI-B85-07, 1985.
 
 
Abstract
(English)
An experiment towards the development of a formal method for specification of concurrent systems is attempted, through the combination of META-IV (the meta-language of VDM) and CCS. These two formalisms are combined in two different ways: different degrees of integration of the two formalisms are exhibited. In this report we show that this kind of combination can be viable as a means for the specification of concurrent software, and we sketch the theoretical framework which is involved. As such we consider this report as a contribution towards the more general problem of combining formal methods.
Subject


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