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...

Descripción completa

Detalles Bibliográficos
Autores: Mylonakis Pascual, Nicolás|||0000-0002-2535-8573, Orejas Valdés, Fernando|||0000-0002-3023-4006, Fiadeiro, José Luiz
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
id ES_eb1ce3f950b4166ab62566ea322b6045
oai_identifier_str oai:upcommons.upc.edu:2117/81101
network_acronym_str ES
network_name_str España
repository_id_str
spelling Modelling service-oriented computing with temporal symbolic graph transformation systemsMylonakis Pascual, Nicolás|||0000-0002-2535-8573Orejas Valdés, Fernando|||0000-0002-3023-4006Fiadeiro, José LuizGraph algorithmsTransformations (Mathematics)Service-oriented architecture (Computer science)Service Oriented Computing ($SOC$)graph transformation systemsGrafs, Teoria deTransformacions (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ísticaIn 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.20152015-12-2120162016-01-07reporthttp://purl.org/coar/resource_type/c_93fcAOhttp://purl.org/coar/version/c_b1a7d7d4d402bcceinfo:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/81101reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/811012026-05-27T15:37:01Z
dc.title.none.fl_str_mv Modelling service-oriented computing with temporal symbolic graph transformation systems
title Modelling service-oriented computing with temporal symbolic graph transformation systems
spellingShingle Modelling service-oriented computing with temporal symbolic graph transformation systems
Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
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
title_short Modelling service-oriented computing with temporal symbolic graph transformation systems
title_full Modelling service-oriented computing with temporal symbolic graph transformation systems
title_fullStr Modelling service-oriented computing with temporal symbolic graph transformation systems
title_full_unstemmed Modelling service-oriented computing with temporal symbolic graph transformation systems
title_sort Modelling service-oriented computing with temporal symbolic graph transformation systems
dc.creator.none.fl_str_mv Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
Orejas Valdés, Fernando|||0000-0002-3023-4006
Fiadeiro, José Luiz
author Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
author_facet Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
Orejas Valdés, Fernando|||0000-0002-3023-4006
Fiadeiro, José Luiz
author_role author
author2 Orejas Valdés, Fernando|||0000-0002-3023-4006
Fiadeiro, José Luiz
author2_role author
author
dc.subject.none.fl_str_mv 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
topic 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
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015
2015-12-21
2016
2016-01-07
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
AO
http://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/81101
url https://hdl.handle.net/2117/81101
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2

http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2

http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869423199230361600
score 15,300719

Similares en LA Referencia