Computer Science

News and events

23 September 2011

A Formal Approach to Service-Oriented Modelling

Presented By Professor José Luiz Fiadeiro, University of Leicester
  • 3.00pm
  • Room A234, Schofield Building

About this event

Abstract: This talk provides an overview of a formal approach that we have developed within the FP6-IST-FET Integrated Project SENSORIA (, which aimed at providing formal support for modelling service-oriented systems in a way that is independent of the languages in which services are programmed and the platforms over which they run. We discuss the semantic primitives that are provided in the SENSORIA Reference Modelling Language (SRML) for modelling composite services, ie. services who business logic involves a number of interactions among more elementary service components as well the invocation of services provided by external parties. This includes a logic for specifying stateful, conversational interactions, a language and semantic model for the orchestration of such interactions, and an algebraic framework supporting service discovery, selection and dynamic assembly.