Show simple item record

dc.contributor.authorMylonakis Pascual, Nicolás
dc.contributor.authorOrejas Valdés, Fernando
dc.contributor.authorFiadeiro, José Luiz
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2017-01-31T13:43:47Z
dc.date.available2017-01-31T13:43:47Z
dc.date.issued2015
dc.identifier.citationMylonakis, N., Orejas, F., Fiadeiro, J. A semantics of business configurations using symbolic graphs. A: IEEE International Conference on Services Computing. "2015 IEEE International Conference on Services Computing, SCC 2015: 27 June-2 July 2015, New York, New York, USA: proceedings". New York: Institute of Electrical and Electronics Engineers (IEEE), 2015, p. 146-153.
dc.identifier.isbn978-1-4673-7281-7
dc.identifier.urihttp://hdl.handle.net/2117/100385
dc.description.abstractIn 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.
dc.format.extent8 p.
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshProgramming languages (Electronic computers) -- Semantics
dc.subject.lcshGraph theory
dc.subject.otherBusiness
dc.subject.otherWires
dc.subject.otherSemantics
dc.subject.otherAlgebra
dc.subject.otherProtocols
dc.subject.otherComputer science
dc.subject.otherElectronic mail
dc.subject.otherGraph transformation systems
dc.subject.otherService oriented computing
dc.subject.otherSOC
dc.titleA semantics of business configurations using symbolic graphs
dc.typeConference report
dc.subject.lemacLlenguatges de programació -- Semàntica
dc.subject.lemacGrafs, Teoria de
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1109/SCC.2015.29
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://ieeexplore.ieee.org/document/7207347
dc.rights.accessOpen Access
local.identifier.drac19353445
dc.description.versionPostprint (author's final draft)
local.citation.authorMylonakis, N.; Orejas, F.; Fiadeiro, J.
local.citation.contributorIEEE International Conference on Services Computing
local.citation.pubplaceNew York
local.citation.publicationName2015 IEEE International Conference on Services Computing, SCC 2015: 27 June-2 July 2015, New York, New York, USA: proceedings
local.citation.startingPage146
local.citation.endingPage153


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record