A semantics of business configurations using symbolic graphs

Consultar RECERCAT

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

Título:	A semantics of business configurations using symbolic graphs
Autor/a:	Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José Luiz
Otros autores:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; 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: business configurations. To achieve this goal we use symbolic graph transformation systems. We formalize the semantics using this graph transformation system and illustrating it with a simple running example of a trip booking agent.
Abstract:	Peer Reviewed
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Programming languages (Electronic computers) -- Semantics -Graph theory -Business -Wires -Semantics -Algebra -Protocols -Computer science -Electronic mail -Graph transformation systems -Service oriented computing -SOC -Llenguatges de programació -- Semàntica -Grafs, Teoria de
Derechos:
Tipo de documento:	Artículo - Versión presentada Objeto de conferencia
Editor:	Institute of Electrical and Electronics Engineers (IEEE)
Compartir:

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

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