Date Added: Feb 2010
The authors 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 modeling language for behavioural service specifications. Service-Oriented Computing (SOC) has emerged as a new paradigm for distributed computing, evolving from object-oriented computing by allowing autonomous, platform-independent computational entities (called services) to be built (described, discovered, composed) using object-oriented techniques. Service-Oriented Architectures (SOA) are then used to implement the SOC paradigm in areas like e-commerce and e-government.