• DocumentCode
    1669080
  • Title

    A Semantics of Business Configurations Using Symbolic Graphs

  • Author

    Mylonakis, Nikos ; Orejas, Fernando ; Fiadeiro, Jose

  • Author_Institution
    Dept. of Comput. Sci., Univ. Politec. de Catalunya, Barcelona, Spain
  • fYear
    2015
  • Firstpage
    146
  • Lastpage
    153
  • 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.
  • Keywords
    commerce; graph grammars; graph theory; programming language semantics; SRML; business configurations; graph-semantics; service modeling language; symbolic graph transformation systems; trip booking agent; Algebra; Business; Computer science; Electronic mail; Protocols; Semantics; Wires; Graph Transformation systems; Service Oriented Computing (SOC);
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Services Computing (SCC), 2015 IEEE International Conference on
  • Conference_Location
    New York, NY
  • Print_ISBN
    978-1-4673-7280-0
  • Type

    conf

  • DOI
    10.1109/SCC.2015.29
  • Filename
    7207347
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1669080