Document - Modelling and analysing the finance case study in UMC

2010

Report Open Access

Modelling and analysing the finance case study in UMC

Ter Beek M. H., Mazzanti F.

Software/Program Verification. Model checking Software Architectures Mathematical Logic. Temporal logic Design Tools and Techniques Model checking

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.

Source: ISTI Technical reports, 2010

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:161204,
	title = {Modelling and analysing the finance case study in UMC},
	author = {Ter Beek M.  H. and Mazzanti F.},
	institution = {ISTI Technical reports, 2010},
	year = {2010}
}