A full operational semantics for asynchronous relational networks

Ignacio Vissani (Lead / Corresponding author), Carlos Gustavo Lopez Pombo, Ionuţ Ţuţu, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Service-oriented computing is a new paradigm where applications run over global computational networks and are formed by services discovered and bound at run-time through the intervention of a middleware. Asynchronous Relational Nets (ARNs) were presented by Fiadeiro and Lopes with the aim of formalising the elements of an interface theory for service-oriented software designs. The semantics of ARNs was originally given in terms of sequences of sets of actions corresponding to the behaviour of the service. Later, they were given an institutionbased semantics where signatures are ARNs and models are morphisms into ground networks, that have no dependencies on external services. In this work, we propose a full operational semantics capable of reflecting the dynamic nature of service execution by making explicit the reconfigurations that take place at run-time as the result of the discovery and binding of required services. This provides us a refined view of the execution of ARNs based upon which a specialized variant of linear temporal logic can be used to express, and even to verify through standard modelchecking techniques, properties concerning the behaviour of ARNs that are more complex than those considered before.

Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Subtitle of host publication22nd International Workshop, WADT 2014, Revised Selected Papers
EditorsIonuţ Ţuţu, Mihai Codescu, Răzvan Diaconescu
Place of PublicationSwitzerland
PublisherSpringer
Pages131-150
Number of pages20
ISBN (Electronic)9783319281148
ISBN (Print)9783319281131
DOIs
Publication statusPublished - 2015
Event22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 - Sinaia, Romania
Duration: 4 Sep 20147 Sep 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9463
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014
CountryRomania
CitySinaia
Period4/09/147/09/14

Fingerprint Dive into the research topics of 'A full operational semantics for asynchronous relational networks'. Together they form a unique fingerprint.

Cite this