Coordination Models and Languages

Volume 5052 of the series Lecture Notes in Computer Science pp 1-16

A Coordination Model for Service-Oriented Interactions

  • João AbreuAffiliated withDepartment of Computer Science, University of Leicester
  • , José Luiz FiadeiroAffiliated withDepartment of Computer Science, University of Leicester

* Final gross prices may vary according to local VAT.

Get Access


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 under the FET-GC2 project SENSORIA for modelling and reasoning about complex services at the abstract business level. In SRML, interactions are conversational in the sense that they involve a number of correlated events that capture phenomena that are typical of SOC like committing to a pledge or revoking the effects of a deal. Events are exchanged across wires that connect the parties involved in the provision of the service.