We introduce a logical verification methodology for checking behavioral properties of service-
oriented computing systems. Service properties are described by means of SocL, a …

The importance of modelling the dynamic characteristics of the architecture of software
systems has long been recognised. However, the nature of the dynamics of service-oriented …

We propose a formal operational semantics for service discovery and binding. This
semantics is based on a graph-based representation of the configuration of global …

We introduce a logical verification framework for checking functional properties of service-
oriented applications formally specified using the service specification language COWS. The …

We put forward an interface and component algebra through which we characterise
fundamental structures that support service-oriented design independently of the specific …

The importance of modelling the dynamic architectural characteristics of software systems
has long been recognised. However, the nature of the dynamic architectural characteristics …

We present a formal model for the coordination of interactions in service-oriented systems.
This model provides a declarative semantics for the language SRML that is being developed …

Services are developed separately and without knowledge of all possible use contexts. They
often mismatch or do not correspond exactly to the end-user needs, making direct …

This chapter provides an overview of SRML—the Sensoria Reference Modelling Language.
Our focus will be on the language primitives that SRML offers for modelling business …

The challenges that Cloud computing poses to business processes integration, emphasize
the need for addressing two major issues:(i) which integration approach should be used …