PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Mazzanti F. Modelling and analysing the finance case study in UMC. Technical report, 2010.
 
 
Abstract
(English)
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.
URL: http://fmt.isti.cnr.it/WEBPAPER/2010-TR-007.pdf
Subject Model checking
UML
Service-Oriented Architectures
D.2.4 Software/Program Verification. Model checking
D.2.11 Software Architectures
F.4.1 Mathematical Logic. Temporal logic
D.2.2 Design Tools and Techniques


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