A Coordination Model for Service-Oriented Interactions

  • João Abreu
  • José Luiz Fiadeiro
Conference paper

DOI: 10.1007/978-3-540-68265-3_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5052)
Cite this paper as:
Abreu J., Fiadeiro J.L. (2008) A Coordination Model for Service-Oriented Interactions. In: Lea D., Zavattaro G. (eds) Coordination Models and Languages. COORDINATION 2008. Lecture Notes in Computer Science, vol 5052. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • João Abreu
    • 1
  • José Luiz Fiadeiro
    • 1
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK

Personalised recommendations