We describe a UMC model of the credit request scenario from Sensoria's Finance case study and verify a number of properties expressed in the service-oriented logic SocL. The UMC model is a faithful translation of the scenario's specification in UML4SOA, which is a profile for UML that defines a high-level domain-specific modelling language for behavioural service specifications.
Modelling and analysing the finance case study in UMC
Ter Beek M H;Mazzanti F
2010
Abstract
We describe a UMC model of the credit request scenario from Sensoria's Finance case study and verify a number of properties expressed in the service-oriented logic SocL. The UMC model is a faithful translation of the scenario's specification in UML4SOA, which is a profile for UML that defines a high-level domain-specific modelling language for behavioural service specifications.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_161204-doc_132571.pdf
accesso aperto
Descrizione: Modelling and analysing the finance case study in UMC
Dimensione
400.67 kB
Formato
Adobe PDF
|
400.67 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
