A Coordination Model for Service-Oriented Interactions
- 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
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.
Unable to display preview. Download preview PDF.