The language SENSORIA Reference Modelling Language (SRML) provides a number of semantic modelling primitives for service-oriented systems that are independent of the languages and platforms in which services are programmed and executed.
In SRML, the orchestration of services is expressed in terms of a numberof internal and external parties that are connected to each other through interaction protocols and jointly execute a (distributed) business process. The configuration of this business process may change at run time as the discovery of required services is triggered.
SRML service representation
A formal computation and coordination model offers a layer of abstraction for capturing, orchestrating and analysing properties of the conversational protocols that characterise service-oriented interactions. In SRML, properties of required and provided services are specified in temporal logic and can be analysed over orchestrations defined in terms of state transition systems using the UMC model checker. Time-related properties of services can be analysed using the Markovian process algebra PEPA.
An algebraic operational semantics supports the run-time discovery, selection and binding mechanisms of the language and offers a businessreflective model of dynamic (re)configuration. SLA constraints and the associated ranking and selection mechanisms are formalised over the c-semiring approach to constraint optimisation.
Finally, extensions of use-case and message-sequence diagrams provide support for a number of methodological aspects of engineering business services and activities.
