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.
Abreu and Fiadeiro explore the coordination of interactions in service-oriented systems using SRML, a Service Modelling Language REF .
A coordination model for service-oriented interactions
In Coordination Languages and Models, volume 5052 of LNCS
Computer Science