Title :
A Semantics of Business Configurations Using Symbolic Graphs
Author :
Mylonakis, Nikos ; Orejas, Fernando ; Fiadeiro, Jose
Author_Institution :
Dept. of Comput. Sci., Univ. Politec. de Catalunya, Barcelona, Spain
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.
Keywords :
commerce; graph grammars; graph theory; programming language semantics; SRML; business configurations; graph-semantics; service modeling language; symbolic graph transformation systems; trip booking agent; Algebra; Business; Computer science; Electronic mail; Protocols; Semantics; Wires; Graph Transformation systems; Service Oriented Computing (SOC);
Conference_Titel :
Services Computing (SCC), 2015 IEEE International Conference on
Conference_Location :
New York, NY
Print_ISBN :
978-1-4673-7280-0
DOI :
10.1109/SCC.2015.29
