Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

58.784 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
  • Reports de recerca
  • View Item
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
  • Reports de recerca
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Modelling service-oriented computing with temporal symbolic graph transformation systems

Thumbnail
View/Open
TSC1512_Final.pdf (513,7Kb)
Share:
 
  View Usage Statistics
Cita com:
hdl:2117/81101

Show full item record
Mylonakis Pascual, NicolásMés informacióMés informacióMés informació
Orejas Valdés, FernandoMés informacióMés informació
Fiadeiro, José Luiz
Document typeResearch report
Defense date2015-12-21
Rights accessOpen Access
Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain
Abstract
In this paper, we present a novel semantics for an essential aspect of service-oriented computing: the mechanism through which systems evolve through a symbiosis of state transformations and run-time service discovery and binding. The semantics is based on a new notion of temporal symbolic graph-transformation systems: in temporal symbolic graphs, interfaces can be specified using temporal logic, and service-level agreements can be specified in that logic's propositional fragment. An important advantage of our framework is that it can be supported by tools that implement temporal symbolic graph transformations, which would also provide a means of animating service-oriented systems evolution. We illustrate our semantics with a simple trip-booking service.
CitationMylonakis, N., Orejas, F., Fiadeiro, J. "Modelling service-oriented computing with temporal symbolic graph transformation systems". 2015. 
URIhttp://hdl.handle.net/2117/81101
Collections
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals - Reports de recerca [139]
  • Departament de Ciències de la Computació - Reports de recerca [1.106]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
TSC1512_Final.pdf513,7KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina