A coordination model for service-oriented interactions

João Abreu, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationCoordination Models and Languages - 10th International Conference, COORDINATION 2008, Proceedings
Number of pages16
Publication statusPublished - 30 Jun 2008
Event10th International Conference on Coordination Models and Languages, COORDINATION 2008 - Oslo, Norway
Duration: 4 Jun 20086 Jun 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5052 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference10th International Conference on Coordination Models and Languages, COORDINATION 2008

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'A coordination model for service-oriented interactions'. Together they form a unique fingerprint.

Cite this