A Semantics of Business Configurations Using Symbolic Graphs

Nikos Mylonakis; Fernando Orejas; Jose Fiadeiro

doi:10.1109/SCC.2015.29

A Semantics of Business Configurations Using Symbolic Graphs

Nikos Mylonakis
, Fernando Orejas
, Jose Fiadeiro

Science and Engineering Office

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

1 Citation (Scopus)

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 - 2015 IEEE International Conference on Services Computing (SCC 2015)
Editors	Wu Chou, Paul P. Maglio, Incheon Paik
Place of Publication	New York
Publisher	IEEE
Pages	146-153
Number of pages	8
ISBN (Electronic)	9781467372817, 9781467372800
DOIs	https://doi.org/10.1109/SCC.2015.29
Publication status	Published - 20 Aug 2015
Event	IEEE International Conference on Services Computing, SCC 2015 - New York, United States Duration: 27 Jun 2015 → 2 Jul 2015

Conference

Conference	IEEE International Conference on Services Computing, SCC 2015
Country/Territory	United States
City	New York
Period	27/06/15 → 2/07/15

Keywords

Graph Transformation systems
Service Oriented Computing (SOC)

ASJC Scopus subject areas

Information Systems
Computer Networks and Communications
Computer Science Applications

Access to Document

10.1109/SCC.2015.29

Cite this

@inproceedings{e8ec7e5a4ccd474a9c4938b2a0082950,

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

keywords = "Graph Transformation systems, Service Oriented Computing (SOC)",

author = "Nikos Mylonakis and Fernando Orejas and Jose Fiadeiro",

year = "2015",

month = aug,

day = "20",

doi = "10.1109/SCC.2015.29",

language = "English",

pages = "146--153",

editor = "Wu Chou and Maglio, \{Paul P.\} and Incheon Paik",

booktitle = "Proceedings - 2015 IEEE International Conference on Services Computing (SCC 2015)",

publisher = "IEEE",

note = "IEEE International Conference on Services Computing, SCC 2015 ; Conference date: 27-06-2015 Through 02-07-2015",

}

Mylonakis, N, Orejas, F & Fiadeiro, J 2015, A Semantics of Business Configurations Using Symbolic Graphs. in W Chou, PP Maglio & I Paik (eds), Proceedings - 2015 IEEE International Conference on Services Computing (SCC 2015)., 7207347, IEEE, New York, pp. 146-153, IEEE International Conference on Services Computing, SCC 2015, New York, United States, 27/06/15. https://doi.org/10.1109/SCC.2015.29

A Semantics of Business Configurations Using Symbolic Graphs. / Mylonakis, Nikos; Orejas, Fernando; Fiadeiro, Jose.
Proceedings - 2015 IEEE International Conference on Services Computing (SCC 2015). ed. / Wu Chou; Paul P. Maglio; Incheon Paik. New York: IEEE, 2015. p. 146-153 7207347.

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

TY - GEN

T1 - A Semantics of Business Configurations Using Symbolic Graphs

AU - Mylonakis, Nikos

AU - Orejas, Fernando

AU - Fiadeiro, Jose

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.

KW - Graph Transformation systems

KW - Service Oriented Computing (SOC)

UR - https://www.scopus.com/pages/publications/84953384803

U2 - 10.1109/SCC.2015.29

DO - 10.1109/SCC.2015.29

M3 - Conference contribution

AN - SCOPUS:84953384803

SP - 146

EP - 153

BT - Proceedings - 2015 IEEE International Conference on Services Computing (SCC 2015)

A2 - Chou, Wu

A2 - Maglio, Paul P.

A2 - Paik, Incheon

PB - IEEE

CY - New York

T2 - IEEE International Conference on Services Computing, SCC 2015

Y2 - 27 June 2015 through 2 July 2015

ER -

A Semantics of Business Configurations Using Symbolic Graphs

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this