A Full Operational Semantics for Asynchronous Relational Networks. / Vissani, Ignacio; Lopez Pombo, Carlos; Tutu, Ionut; Fiadeiro, José Luiz.

Recent Advances in Algebraic Development Techniques. Springer, 2015. p. 131-150 (Lecture Notes in Computer Science; Vol. 9463).

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

Published

Standard

A Full Operational Semantics for Asynchronous Relational Networks. / Vissani, Ignacio; Lopez Pombo, Carlos; Tutu, Ionut; Fiadeiro, José Luiz.

Recent Advances in Algebraic Development Techniques. Springer, 2015. p. 131-150 (Lecture Notes in Computer Science; Vol. 9463).

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

Harvard

Vissani, I, Lopez Pombo, C, Tutu, I & Fiadeiro, JL 2015, A Full Operational Semantics for Asynchronous Relational Networks. in Recent Advances in Algebraic Development Techniques. Lecture Notes in Computer Science, vol. 9463, Springer, pp. 131-150, 22nd International Workshop on Algebraic Development Techniques, Sinaia, Romania, 4/09/14. https://doi.org/10.1007/978-3-319-28114-8_8

APA

Vissani, I., Lopez Pombo, C., Tutu, I., & Fiadeiro, J. L. (2015). A Full Operational Semantics for Asynchronous Relational Networks. In Recent Advances in Algebraic Development Techniques (pp. 131-150). (Lecture Notes in Computer Science; Vol. 9463). Springer. https://doi.org/10.1007/978-3-319-28114-8_8

Vancouver

Vissani I, Lopez Pombo C, Tutu I, Fiadeiro JL. A Full Operational Semantics for Asynchronous Relational Networks. In Recent Advances in Algebraic Development Techniques. Springer. 2015. p. 131-150. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-28114-8_8

Author

Vissani, Ignacio ; Lopez Pombo, Carlos ; Tutu, Ionut ; Fiadeiro, José Luiz. / A Full Operational Semantics for Asynchronous Relational Networks. Recent Advances in Algebraic Development Techniques. Springer, 2015. pp. 131-150 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{331548254bc84f299a667c8ce4b2348a,
title = "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 sets of actions corresponding to the behaviour of the service. Later, they were given an institution-based 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 model-checking techniques, properties concerning the behaviour of ARNs that are more complex than those considered before.",
author = "Ignacio Vissani and {Lopez Pombo}, Carlos and Ionut Tutu and Fiadeiro, {Jos{\'e} Luiz}",
year = "2015",
month = dec,
day = "30",
doi = "10.1007/978-3-319-28114-8_8",
language = "English",
isbn = "978-3-319-28113-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "131--150",
booktitle = "Recent Advances in Algebraic Development Techniques",
note = "22nd International Workshop on Algebraic Development Techniques ; Conference date: 04-09-2014 Through 07-09-2014",

}

RIS

TY - GEN

T1 - A Full Operational Semantics for Asynchronous Relational Networks

AU - Vissani, Ignacio

AU - Lopez Pombo, Carlos

AU - Tutu, Ionut

AU - Fiadeiro, José Luiz

PY - 2015/12/30

Y1 - 2015/12/30

N2 - 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 institution-based 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 model-checking techniques, properties concerning the behaviour of ARNs that are more complex than those considered before.

AB - 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 institution-based 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 model-checking techniques, properties concerning the behaviour of ARNs that are more complex than those considered before.

U2 - 10.1007/978-3-319-28114-8_8

DO - 10.1007/978-3-319-28114-8_8

M3 - Conference contribution

SN - 978-3-319-28113-1

T3 - Lecture Notes in Computer Science

SP - 131

EP - 150

BT - Recent Advances in Algebraic Development Techniques

PB - Springer

T2 - 22nd International Workshop on Algebraic Development Techniques

Y2 - 4 September 2014 through 7 September 2014

ER -