Abstrakt. Vi presenterar en formell modell för samordning av interaktioner i serviceorienterade system. Denna modell ger en deklarativ semantik för språket SRML som utvecklas under projektet FET-GC2 SENSORIA för modellering och resonemang om komplexa tjänster på abstrakt affärsnivå. I SRML, interaktioner är konversation i den meningen att de involverar ett antal korrelerade händelser som fångar fenomen som är typiska för SOC som att binda sig till ett löfte eller återkalla effekterna av en affär. Händelser utbyts över ledningar som förbinder de parter som deltar i tillhandahållandet av tjänsten.
Abreu och Fiadeiro utforskar samordningen av interaktioner i serviceorienterade system med hjälp av SRML, ett tjänstemodellspråk REF.
A coordination model for service-oriented interactions
{'venue': 'In Coordination Languages and Models, volume 5052 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}