University of Leicester


SRML — A Service Modelling Language


Current team:
Laura Bocchi, José Fiadeiro, Yi Hong, Antónia Lopes
Previous contributors:
João Abreu

About SRML

SRML is a modelling language for service-oriented systems developed by the IST-FET-GC2 Integrated Project SENSORIA. SRML operates at the higher levels of abstraction of business modelling, i.e. it provides a number of semantic modelling primitives that are independent of the languages and platforms in which services are programmed and executed. In particular, SRML abstracts from the typical mechanisms made available by service-oriented middleware such as sessions and event/message correlation, as well as the brokers that are responsible for the discovery and binding of services. A formal computation and coordination model was developed for SRML over which qualitative and quantitative analysis techniques were defined using the UMC model checker and the PEPA stochastic analyser. An algebraic semantics was also developed for the run-time discovery, selection and binding mechanisms. Finally, methodological aspects of engineering business services and activities were investigated, which were supported through extensions of use-case and message-sequence diagrams and tested over a number of case studies.



The Modelling Environment

Installing the editor


  • Eclipse Ganymede, EMF 2.4.1, GMF 2.1.2
  • Open Architecture 4.3.1: to install via the Eclipse update:
    • Use the update menu: Help > Software Updates > Find and Install > New Remote Site
    • Enter the following update site.

The editor can be downloaded and installed via the Eclipse update site:

  • Use the update menu: Help > Software Updates > Find and Install > New Remote Site
  • Enter the update site
  • The EMF metamodel of SRML can be found here


Author: José Fiadeiro (jose at, T: +44 (0)116 252 3887.
© University of Leicester December 2009. Last modified: 2nd July 2012, 09:27:17
Informatics Web Maintainer. This document has been approved by the Head of Department.