We show how to use a UMC model of the credit request scenario of SENSORIA's Finance case study, described in detail in [BM10], and verify properties formulated in the service-oriented temporal logic SocL.
Sensoria - Manual for using the UMC model of the finance case study
Ter Beek M;Mazzanti F
2010
Abstract
We show how to use a UMC model of the credit request scenario of SENSORIA's Finance case study, described in detail in [BM10], and verify properties formulated in the service-oriented temporal logic SocL.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_161225-doc_84691.pdf
accesso aperto
Descrizione: Sensoria - Manual for using the UMC model of the finance case study
Dimensione
4.11 MB
Formato
Adobe PDF
|
4.11 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
