Modelling service-oriented computing with temporal symbolic graph transformation systems
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/81101
Tipus de documentReport de recerca
Data publicació2015-12-21
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
In this paper, we present a novel semantics for an essential aspect of service-oriented computing: the mechanism through which systems evolve through a symbiosis of state transformations and run-time service discovery and binding.
The semantics is based on a new notion of temporal symbolic graph-transformation systems:
in temporal symbolic graphs, interfaces can be specified using temporal logic, and service-level agreements can be specified in that logic's propositional fragment.
An important advantage of our framework is that it can be supported by tools that implement temporal symbolic graph transformations, which would also provide a means of animating service-oriented systems evolution.
We illustrate our semantics with a simple trip-booking service.
CitacióMylonakis, N., Orejas, F., Fiadeiro, J. "Modelling service-oriented computing with temporal symbolic graph transformation systems". 2015.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
TSC1512_Final.pdf | 513,7Kb | Visualitza/Obre |