Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M., Mazzanti F. Sensoria - Manual for using the UMC model of the finance case study. Software Engineering for Service-Oriented Overlay Computers. Project report FP6-IP-IST-016004-FIN, 2010.
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.
Subject Service-Oriented Computing
Model checking
D.2.4 Software/Program Verification. Model Checking

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