A Semantics of Business Configurations Using Symbolic Graphs

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 Jun 2015 Spain, United Kingdom Publisher:IEEEJournal:2015 IEEE International Conference on Services Computing

Authors: Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José Luiz;

doi: 10.1109/scc.2015.29

handle: 2117/100385

A Semantics of Business Configurations Using Symbolic Graphs

- Summary
- Subjects
- Metrics

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.

Peer Reviewed

Countries

Spain, United Kingdom

Related Organizations

Royal Holloway University of London
United Kingdom
Universitat Politècnica de Catalunya
Spain
Open University of Catalonia
Spain
Universitat Polite`cnica de Catalunya
Spain
University of Dundee
United Kingdom

View all View all

Keywords

Llenguatges de programació -- Semàntica, name=Information Systems, Graph Transformation systems, Service Oriented Computing (SOC), /dk/atira/pure/subjectarea/asjc/1700/1710, Business, SOC, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Service oriented computing, /dk/atira/pure/subjectarea/asjc/1700/1706, /dk/atira/pure/subjectarea/asjc/1700/1705, Grafs, Teoria de, name=Computer Networks and Communications, name=Computer Science Applications, Wires, Computer science, 004, Semantics, Graph theory, Algebra, Electronic mail, Programming languages (Electronic computers) -- Semantics, Graph transformation systems, Protocols

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average