Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A graph-semantics of business configurations

Autor
Fiadeiro, J.; Mylonakis, N.; Orejas, F.
Tipus d'activitat
Document cientificotècnic
Data
2014
Codi
LSI-14-8-R
Repositori
http://hdl.handle.net/2117/99474 Obrir en finestra nova
Resum
In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML. To achieve this goal we develop a new graph transformation system for what we call 2-level symbolic graphs. These kind of graphs extend symbolic graphs with a simple 2-level hierarchy that can be generalized to arbitrary hierarchies. We formalize the semantics using this new graph transformation system using a simple example of a trip booking agent.
Citació
Fiadeiro, J., Mylonakis, N., Orejas, F. "A graph-semantics of business configurations". 2014.
Paraules clau
Graph transformation system, SRML
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius