Conference
A Full Operational Semantics for Asynchronous Relational Networks
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 …
Authors
Vissani I; Pombo CGL; Ţuţu I; Fiadeiro JL
Editors
Codescu M; Diaconescu R; Țuțu I
Series
Lecture Notes in Computer Science
Pagination
pp. 131-150
Publisher
Springer International Publishing
Publication Date
2015
ISBN-13
9783319281148
Conference proceedings
Recent Trends in Algebraic Development Techniques