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.
On combining META-IV and CCS
Fantechi A
1985
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_420178-doc_148815.pdf
accesso aperto
Descrizione: On combining META-IV and CCS
Dimensione
1.69 MB
Formato
Adobe PDF
|
1.69 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
