pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2014

pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)

pNets: un modèle expressif pour les réseaux de processus paramétrés (Version étendue)

Abstract

This article studies Parameterised Networks of Automata (pNets) from a theoretical perspective. We illustrate the expressiveness of pNets by showing how to express a wide range of classical constructs of (value-passing) process calculi, but also how we can easily express complex interaction patterns used in modern distributed systems. Our framework can model full systems, using (closed) hierarchies of pNets; we can also build (open) pNet systems expressing composition operators. Concerning more fundamental aspects, we define a strong bisimulation theory specifically for the pNet model, prove its properties, and illustrate it on some examples. One of the original aspects of the approach is to relate the compositional nature of pNets with the notion of bisimulation; this is exemplified by studying the properties of a flattening operator.
Cet article étudie les Réseaux Paramétrés d'Automates Synchronisés (pNets) d'un point de vue théorique. Nous illustrons l'expressivité du modèle pNets en montrant comment encoder un large éventail de constructions classiques des calculs de processus avec passage de données, mais aussi la façon dont nous pouvons facilement exprimer les schémas d'interaction complexes utilisés dans distribués systèmes modernes. Notre formalisme permet de modéliser des systèmes complets, utilisant une hiérarchie (fermée) de pNets; mais nous pouvons également construire des systèmes ouverts exprimant des opérateurs de composition. Concernant les aspects plus fondamentaux, nous définissons une théorie de bisimulation forte adaptée á notre modèle, prouvons ses propriétés, et nous l'illustrons sur certains exemples. Un des aspects originaux de la démarche est de relier la composition des pNets avec la notion de bisimulation; ceci est illustré par l'étude des propriétés d'un opérateur d'aplatissement.
Fichier principal
Vignette du fichier
RR-8579.pdf (936 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01055091 , version 1 (11-08-2014)
hal-01055091 , version 2 (20-11-2014)

Identifiers

  • HAL Id : hal-01055091 , version 2

Cite

Ludovic Henrio, Eric Madelaine, Min Zhang. pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version). [Research Report] RR-8579, INRIA. 2014, pp.23. ⟨hal-01055091v2⟩
323 View
204 Download

Share

Gmail Facebook X LinkedIn More