A Denotational Semantics for Parameterised Networks of Synchronised Automata

Siqi Li 1 Eric Madelaine 2
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Abstract : 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.
Type de document :
Communication dans un congrès
The 6th International Symposium on Unifying Theories of Programming, Jun 2016, Reykjavik, Iceland. Proceedings of the 6th International Symposium on Unifying Theories of Programming, pp.20, 〈http://http://utp2016.ecnu.edu.cn〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01417662
Contributeur : Eric Madelaine <>
Soumis le : jeudi 15 décembre 2016 - 17:47:26
Dernière modification le : samedi 17 décembre 2016 - 01:04:32
Document(s) archivé(s) le : mardi 21 mars 2017 - 13:25:37

Fichier

UTP-2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01417662, version 1

Collections

Citation

Siqi Li, Eric Madelaine. A Denotational Semantics for Parameterised Networks of Synchronised Automata. The 6th International Symposium on Unifying Theories of Programming, Jun 2016, Reykjavik, Iceland. Proceedings of the 6th International Symposium on Unifying Theories of Programming, pp.20, 〈http://http://utp2016.ecnu.edu.cn〉. 〈hal-01417662〉

Partager

Métriques

Consultations de
la notice

153

Téléchargements du document

13