A graph-semantics of business configurations

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/99474

Título:	A graph-semantics of business configurations
Autor/a:	Fiadeiro, José Luiz; Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando
Otros autores:	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Abstract:	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.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -SRML -Graph transformation system
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José Luiz

Chirita, Claudia Elena; Fiadeiro, José Luiz; Orejas Valdés, Fernando

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando

Coordinación

Patrocinio