A Semantics of Business Configurations Using Symbolic Graphs

Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro

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

79 Downloads (Pure)


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

Cite this