A Semantics of Business Configurations Using Symbolic Graphs. / Mylonakis, Nikos; Orejas, Fernando; Fiadeiro, José Luiz.

Proceedings of the 12th IEEE International Conference on Services Computing. IEEE Computer Society Press, 2015. p. 146-153.

Research output: Chapter in Book/Report/Conference proceedingConference contribution




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.
Original languageEnglish
Title of host publicationProceedings of the 12th IEEE International Conference on Services Computing
PublisherIEEE Computer Society Press
Number of pages8
ISBN (Electronic)978-1-4673-7281-7
Publication statusPublished - 20 Aug 2015
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 24744494