A Semantics of Business Configurations Using Symbolic Graphs

Nikos Mylonakis; Fernando Orejas; José Luiz Fiadeiro

doi:10.1109/SCC.2015.29

A Semantics of Business Configurations Using Symbolic Graphs

Nikos Mylonakis
, Fernando Orejas
, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

101 Downloads (Pure)

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	https://doi.org/10.1109/SCC.2015.29
Publication status	Published - 20 Aug 2015

Access to Document

10.1109/SCC.2015.29

Accepted ManuscriptAccepted author manuscript, 400 KB

Cite this

@inproceedings{8594226d4ddf432fab18399c2a783c63,

title = "A Semantics of Business Configurations Using Symbolic Graphs",

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.",

author = "Nikos Mylonakis and Fernando Orejas and Fiadeiro, \{Jos{\'e} Luiz\}",

year = "2015",

month = aug,

day = "20",

doi = "10.1109/SCC.2015.29",

language = "English",

pages = "146--153",

booktitle = "Proceedings of the 12th IEEE International Conference on Services Computing",

publisher = "IEEE Computer Society Press",

}

TY - GEN

T1 - A Semantics of Business Configurations Using Symbolic Graphs

AU - Mylonakis, Nikos

AU - Orejas, Fernando

AU - Fiadeiro, José Luiz

PY - 2015/8/20

Y1 - 2015/8/20

N2 - 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.

AB - 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.

U2 - 10.1109/SCC.2015.29

DO - 10.1109/SCC.2015.29

M3 - Conference contribution

SP - 146

EP - 153

BT - Proceedings of the 12th IEEE International Conference on Services Computing

PB - IEEE Computer Society Press

ER -