Modelling service-oriented computing with temporal symbolic graph transformation systems
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-tra...
| Autores: | , , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 2015 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/81101 |
| Acceso en línea: | https://hdl.handle.net/2117/81101 |
| Access Level: | acceso abierto |
| Palabra clave: | Graph algorithms Transformations (Mathematics) Service-oriented architecture (Computer science) Service Oriented Computing ($SOC$) graph transformation systems Grafs, Teoria de Transformacions (Matemàtica) Arquitectura orientada a serveis (Informàtica) Àrees temàtiques de la UPC::Informàtica Àrees temàtiques de la UPC::Matemàtiques i estadística |
| Sumario: | 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. |
|---|