A full operational semantics for asynchronous relational networks
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 formal...
| Autores principales: | , , , , , |
|---|---|
| Formato: | SER |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_03029743_v9463_n_p131_Vissani |
| Aporte de: |
| id |
todo:paper_03029743_v9463_n_p131_Vissani |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_03029743_v9463_n_p131_Vissani2023-10-03T15:19:40Z A full operational semantics for asynchronous relational networks Vissani, I. Pombo, C.G.L. Jose, J.L.F. Tutu I. Codescu, M. Diaconescu, R. Algebra Complex networks Computation theory Computer programming languages Distributed computer systems Middleware Reconfigurable hardware Semantics Computational networks Linear temporal logic Model-checking techniques Operational semantics Relational network Service execution Service oriented computing Service-oriented softwares Software design 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. Springer International Publishing Switzerland 2015. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v9463_n_p131_Vissani |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
Algebra Complex networks Computation theory Computer programming languages Distributed computer systems Middleware Reconfigurable hardware Semantics Computational networks Linear temporal logic Model-checking techniques Operational semantics Relational network Service execution Service oriented computing Service-oriented softwares Software design |
| spellingShingle |
Algebra Complex networks Computation theory Computer programming languages Distributed computer systems Middleware Reconfigurable hardware Semantics Computational networks Linear temporal logic Model-checking techniques Operational semantics Relational network Service execution Service oriented computing Service-oriented softwares Software design Vissani, I. Pombo, C.G.L. Jose, J.L.F. Tutu I. Codescu, M. Diaconescu, R. A full operational semantics for asynchronous relational networks |
| topic_facet |
Algebra Complex networks Computation theory Computer programming languages Distributed computer systems Middleware Reconfigurable hardware Semantics Computational networks Linear temporal logic Model-checking techniques Operational semantics Relational network Service execution Service oriented computing Service-oriented softwares Software design |
| description |
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. Springer International Publishing Switzerland 2015. |
| format |
SER |
| author |
Vissani, I. Pombo, C.G.L. Jose, J.L.F. Tutu I. Codescu, M. Diaconescu, R. |
| author_facet |
Vissani, I. Pombo, C.G.L. Jose, J.L.F. Tutu I. Codescu, M. Diaconescu, R. |
| author_sort |
Vissani, I. |
| title |
A full operational semantics for asynchronous relational networks |
| title_short |
A full operational semantics for asynchronous relational networks |
| title_full |
A full operational semantics for asynchronous relational networks |
| title_fullStr |
A full operational semantics for asynchronous relational networks |
| title_full_unstemmed |
A full operational semantics for asynchronous relational networks |
| title_sort |
full operational semantics for asynchronous relational networks |
| url |
http://hdl.handle.net/20.500.12110/paper_03029743_v9463_n_p131_Vissani |
| work_keys_str_mv |
AT vissanii afulloperationalsemanticsforasynchronousrelationalnetworks AT pombocgl afulloperationalsemanticsforasynchronousrelationalnetworks AT josejlf afulloperationalsemanticsforasynchronousrelationalnetworks AT tutui afulloperationalsemanticsforasynchronousrelationalnetworks AT codescum afulloperationalsemanticsforasynchronousrelationalnetworks AT diaconescur afulloperationalsemanticsforasynchronousrelationalnetworks AT vissanii fulloperationalsemanticsforasynchronousrelationalnetworks AT pombocgl fulloperationalsemanticsforasynchronousrelationalnetworks AT josejlf fulloperationalsemanticsforasynchronousrelationalnetworks AT tutui fulloperationalsemanticsforasynchronousrelationalnetworks AT codescum fulloperationalsemanticsforasynchronousrelationalnetworks AT diaconescur fulloperationalsemanticsforasynchronousrelationalnetworks |
| _version_ |
1807315015194116096 |