A Denotational Semantics for Parameterised Networks of Synchronised Automata
International audience Parameterised Networks of Synchronised Automata (pNets) is a machine-oriented semantic formalism used for specifying and verifying the behaviour of distributed components or systems. In addition, it can be used to define the semantics of languages in the parallel and distribut...
Main Authors: | , |
---|---|
Other Authors: | , , , , , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2016
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-01417662 https://inria.hal.science/hal-01417662/document https://inria.hal.science/hal-01417662/file/UTP-2016.pdf |
id |
ftunivcotedazur:oai:HAL:hal-01417662v1 |
---|---|
record_format |
openpolar |
spelling |
ftunivcotedazur:oai:HAL:hal-01417662v1 2023-10-29T02:37:22+01:00 A Denotational Semantics for Parameterised Networks of Synchronised Automata Li, Siqi Madelaine, Eric Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shangaï (ECNU) Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) Inria Sophia Antipolis - Méditerranée (CRISAM) Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Inria de Paris Institut National de Recherche en Informatique et en Automatique (Inria) Universite de reykjavik Reykjavik, Iceland 2016-06-04 https://inria.hal.science/hal-01417662 https://inria.hal.science/hal-01417662/document https://inria.hal.science/hal-01417662/file/UTP-2016.pdf en eng HAL CCSD hal-01417662 https://inria.hal.science/hal-01417662 https://inria.hal.science/hal-01417662/document https://inria.hal.science/hal-01417662/file/UTP-2016.pdf info:eu-repo/semantics/OpenAccess Proceedings of the 6th International Symposium on Unifying Theories of Programming The 6th International Symposium on Unifying Theories of Programming https://inria.hal.science/hal-01417662 The 6th International Symposium on Unifying Theories of Programming, Universite de reykjavik, Jun 2016, Reykjavik, Iceland. pp.20 http://utp2016.ecnu.edu.cn Denotational semantics distributed systems [INFO]Computer Science [cs] info:eu-repo/semantics/conferenceObject Conference papers 2016 ftunivcotedazur 2023-10-03T22:44:50Z International audience Parameterised Networks of Synchronised Automata (pNets) is a machine-oriented semantic formalism used for specifying and verifying the behaviour of distributed components or systems. In addition, it can be used to define the semantics of languages in the parallel and distributed computation area. Unlike other traditional process calculi, pNets only own one pNet node as an operator which composes all subnets running in parallel. Using this single synchronisation artifact, it is capable of expressing many operators or synchronisation mechanisms. In this paper, we explore a denotational semantics for parameterised networks. The denotational semantics of parameterised networks we investigate is based on the behaviours of their subnets. The behaviour of a subnet is determined by both its state and the actions it executes. Based on the traces of a set of subnets, the behaviour of a pNet consisting of those subnets can be deduced. A set of algebraic laws is also explored based on the denotational semantics. Conference Object Iceland HAL Université Côte d'Azur |
institution |
Open Polar |
collection |
HAL Université Côte d'Azur |
op_collection_id |
ftunivcotedazur |
language |
English |
topic |
Denotational semantics distributed systems [INFO]Computer Science [cs] |
spellingShingle |
Denotational semantics distributed systems [INFO]Computer Science [cs] Li, Siqi Madelaine, Eric A Denotational Semantics for Parameterised Networks of Synchronised Automata |
topic_facet |
Denotational semantics distributed systems [INFO]Computer Science [cs] |
description |
International audience Parameterised Networks of Synchronised Automata (pNets) is a machine-oriented semantic formalism used for specifying and verifying the behaviour of distributed components or systems. In addition, it can be used to define the semantics of languages in the parallel and distributed computation area. Unlike other traditional process calculi, pNets only own one pNet node as an operator which composes all subnets running in parallel. Using this single synchronisation artifact, it is capable of expressing many operators or synchronisation mechanisms. In this paper, we explore a denotational semantics for parameterised networks. The denotational semantics of parameterised networks we investigate is based on the behaviours of their subnets. The behaviour of a subnet is determined by both its state and the actions it executes. Based on the traces of a set of subnets, the behaviour of a pNet consisting of those subnets can be deduced. A set of algebraic laws is also explored based on the denotational semantics. |
author2 |
Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shangaï (ECNU) Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) Inria Sophia Antipolis - Méditerranée (CRISAM) Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Inria de Paris Institut National de Recherche en Informatique et en Automatique (Inria) Universite de reykjavik |
format |
Conference Object |
author |
Li, Siqi Madelaine, Eric |
author_facet |
Li, Siqi Madelaine, Eric |
author_sort |
Li, Siqi |
title |
A Denotational Semantics for Parameterised Networks of Synchronised Automata |
title_short |
A Denotational Semantics for Parameterised Networks of Synchronised Automata |
title_full |
A Denotational Semantics for Parameterised Networks of Synchronised Automata |
title_fullStr |
A Denotational Semantics for Parameterised Networks of Synchronised Automata |
title_full_unstemmed |
A Denotational Semantics for Parameterised Networks of Synchronised Automata |
title_sort |
denotational semantics for parameterised networks of synchronised automata |
publisher |
HAL CCSD |
publishDate |
2016 |
url |
https://inria.hal.science/hal-01417662 https://inria.hal.science/hal-01417662/document https://inria.hal.science/hal-01417662/file/UTP-2016.pdf |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Proceedings of the 6th International Symposium on Unifying Theories of Programming The 6th International Symposium on Unifying Theories of Programming https://inria.hal.science/hal-01417662 The 6th International Symposium on Unifying Theories of Programming, Universite de reykjavik, Jun 2016, Reykjavik, Iceland. pp.20 http://utp2016.ecnu.edu.cn |
op_relation |
hal-01417662 https://inria.hal.science/hal-01417662 https://inria.hal.science/hal-01417662/document https://inria.hal.science/hal-01417662/file/UTP-2016.pdf |
op_rights |
info:eu-repo/semantics/OpenAccess |
_version_ |
1781062028485459968 |