Mostra el registre d'ítem simple
Modelling service-oriented computing with temporal symbolic graph transformation systems
dc.contributor.author | Mylonakis Pascual, Nicolás |
dc.contributor.author | Orejas Valdés, Fernando |
dc.contributor.author | Fiadeiro, José Luiz |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-01-07T12:16:21Z |
dc.date.available | 2016-01-07T12:16:21Z |
dc.date.issued | 2015-12-21 |
dc.identifier.citation | Mylonakis, N., Orejas, F., Fiadeiro, J. "Modelling service-oriented computing with temporal symbolic graph transformation systems". 2015. |
dc.identifier.uri | http://hdl.handle.net/2117/81101 |
dc.description.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. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística |
dc.subject.lcsh | Graph algorithms |
dc.subject.lcsh | Transformations (Mathematics) |
dc.subject.lcsh | Service-oriented architecture (Computer science) |
dc.subject.other | Service Oriented Computing ($SOC$) |
dc.subject.other | graph transformation systems |
dc.title | Modelling service-oriented computing with temporal symbolic graph transformation systems |
dc.type | External research report |
dc.subject.lemac | Grafs, Teoria de |
dc.subject.lemac | Transformacions (Matemàtica) |
dc.subject.lemac | Arquitectura orientada a serveis (Informàtica) |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.rights.access | Open Access |
local.identifier.drac | 17371636 |
dc.description.version | Preprint |
local.citation.author | Mylonakis, N.; Orejas, F.; Fiadeiro, J. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [139]
-
Reports de recerca [1.107]