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.
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
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