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 proceeding › Conference contribution
Published
Documents
- Accepted Manuscript
Accepted author manuscript, 400 KB, PDF document
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 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 24744494