TY - GEN
T1 - A coordination model for service-oriented interactions
AU - Abreu, João
AU - Fiadeiro, José Luiz
PY - 2008/6/30
Y1 - 2008/6/30
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=45749090567&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-68265-3_1
DO - 10.1007/978-3-540-68265-3_1
M3 - Conference contribution
AN - SCOPUS:45749090567
SN - 3540682643
SN - 9783540682646
VL - 5052
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 16
BT - Coordination Models and Languages - 10th International Conference, COORDINATION 2008, Proceedings
T2 - 10th International Conference on Coordination Models and Languages, COORDINATION 2008
Y2 - 4 June 2008 through 6 June 2008
ER -