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 proceedingConference 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 languageEnglish
Title of host publicationProceedings of the 12th IEEE International Conference on Services Computing
PublisherIEEE Computer Society Press
Pages146 - 153
Number of pages8
DOIs
StatePublished - 27 Jun 2015
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 24744494