Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Modelling service-oriented computing with temporal symbolic graph transformation systems

Autor
Mylonakis, N.; Orejas, F.; Fiadeiro, J.
Tipus d'activitat
Document cientificotècnic
Data
2015-12-21
Repositori
http://hdl.handle.net/2117/81101 Obrir en finestra nova
Resum
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...
Citació
Mylonakis, N., Orejas, F., Fiadeiro, J. "Modelling service-oriented computing with temporal symbolic graph transformation systems". 2015.
Paraules clau
Service Oriented Computing ($SOC$), graph transformation systems
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius