A semantics of business configurations using symbolic graphs
Visualitza/Obre
Cita com:
hdl:2117/100385
Tipus de documentText en actes de congrés
Data publicació2015
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióMylonakis, N., Orejas, F., Fiadeiro, J. A semantics of business configurations using symbolic graphs. A: IEEE International Conference on Services Computing. "2015 IEEE International Conference on Services Computing, SCC 2015: 27 June-2 July 2015, New York, New York, USA: proceedings". New York: Institute of Electrical and Electronics Engineers (IEEE), 2015, p. 146-153.
ISBN978-1-4673-7281-7
Versió de l'editorhttp://ieeexplore.ieee.org/document/7207347
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
SCC1515.pdf | 1,234Mb | Visualitza/Obre |