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
- SCC1515
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 |
| DOIs | |
| State | Published - 27 Jun 2015 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 24744494