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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 12th IEEE International Conference on Services Computing |
Publisher | IEEE Computer Society Press |
Pages | 146-153 |
Number of pages | 8 |
ISBN (Electronic) | 978-1-4673-7281-7 |
DOIs | |
Publication status | Published - 20 Aug 2015 |