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.
|Title of host publication||Proceedings of the 12th IEEE International Conference on Services Computing|
|Publisher||IEEE Computer Society Press|
|Number of pages||8|
|Publication status||Published - 20 Aug 2015|