A Semantics of Business Configurations Using Symbolic Graphs

Nikos Mylonakis, Fernando Orejas, Jose Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 - 2015 IEEE International Conference on Services Computing (SCC 2015)
EditorsWu Chou, Paul P. Maglio, Incheon Paik
Place of PublicationNew York
PublisherIEEE
Pages146-153
Number of pages8
ISBN (Electronic)9781467372817, 9781467372800
DOIs
Publication statusPublished - 20 Aug 2015
EventIEEE International Conference on Services Computing, SCC 2015 - New York, United States
Duration: 27 Jun 20152 Jul 2015

Conference

ConferenceIEEE International Conference on Services Computing, SCC 2015
CountryUnited States
CityNew York
Period27/06/152/07/15

Keywords

  • Graph Transformation systems
  • Service Oriented Computing (SOC)

Fingerprint Dive into the research topics of 'A Semantics of Business Configurations Using Symbolic Graphs'. Together they form a unique fingerprint.

  • Cite this

    Mylonakis, N., Orejas, F., & Fiadeiro, J. (2015). A Semantics of Business Configurations Using Symbolic Graphs. In W. Chou, P. P. Maglio, & I. Paik (Eds.), Proceedings - 2015 IEEE International Conference on Services Computing (SCC 2015) (pp. 146-153). [7207347] IEEE. https://doi.org/10.1109/SCC.2015.29