A graph-semantics of business configurations
José Luiz Fiadeiro, Nicolás Mylonakis Pascual, Fernando Orejas Valdés · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2014
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.