The Sensoria Reference Modelling Language

Abstract

This chapter provides an overview of SRML-the Sensoria Reference Modelling Language. SRML offers a technology-agnostic framework in which business services and activities can be modelled independently of the languages in which components are implemented and the network protocols through which they communicate. From a methodological point of view, SRML supports Service-Oriented Computing as a new paradigm in which computations result from a distributed orchestration of software components and external services that are procured on the fly subject to a negotiation of service level agreements (SLAs). Our focus will be on the language primitives that SRML offers for orchestrating business services and activities, defining the interfaces through which services are offered or procured, and expressing the SLA constraints that apply to service provision. We also present elements of the mathematical semantics that underpins the modelling approach, and the way it supports qualitative and quantitative analysis.

A Semantics of Business Configurations Using Symbolic Graphs

“…see [1], [2], [3], [7]). In this paper we replace the original semantics of business configurations with a graphsemantics which can be easily implemented if we had a tool for symbolic graph transformation.…”

“…SRM L ( [1], [2], [3]) is a service modeling language designed within the project SENSORIA [4]. Its state model is considered at two levels of abstraction.…”

“…See [1], [2], [3], [7] for a detailed description of the language. Roughly speaking, a module can be seen as a graph of components that are connected by wires.…”

Variability and Rigour in Service Computing Engineering

“…This requires to revisit choreography and orchestration and the like. We could start from the mathematically wellfounded modelling language SRML and the formal techniques for qualitative and quantitative analysis supporting this approach [1], [16].…”

An Interface Theory for Service-Oriented Design

“…In this paper, we take stock on the work that we developed in the FET-GC2 integrated project SEN-SORIA [21] towards a language and mathematical model for service-oriented modelling [12], and investigate what abstractions can be put forward for service-oriented computing (SOC) that relate to the notions of interface and component algebra proposed in [7]. Our ultimate goal is similar to that of [7]: to characterise the fundamental structures that support SOC independently of the specific formalisms (Petri-nets, automata, process calculi, inter alia) that may be adopted to provide models for languages or tools.…”