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

Ludovic Henrio 1, * Eric Madelaine 1, * Min Zhang 2
* Auteur correspondant
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : 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.
Type de document :
Rapport
[Research Report] RR-8579, INRIA. 2014, pp.23
Liste complète des métadonnées

https://hal.inria.fr/hal-01055091
Contributeur : Eric Madelaine <>
Soumis le : jeudi 20 novembre 2014 - 14:00:46
Dernière modification le : mardi 13 décembre 2016 - 15:40:32

Fichiers

RR-8579.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01055091, version 2

Collections

Citation

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>

Partager

Métriques

Consultations de
la notice

311

Téléchargements du document

79