Box Calculus with Coloured Buffers

Abstract : The starting point of this paper is the asynchronous box calculus with multi-way communication (MBC), a formalism suitable for modelling compositionally distributed systems using both synchronous and asynchronous communication and a number of control flow operators. MBC is composed of two semantically consistent models: an algebra of low-level Petri nets and an associate algebra of process terms whose constants and operators directly correspond to the Petri net ones. In this paper, we extend the Petri net algebra of MBC by allowing the communication buffers to carry coloured tokens which can be used for both synchronous and asynchronous communications. In asynchronous ones, coloured tokens can be used through high-level links making easy, for instance, the representation of program variables (e.g., counters), allowing a compact representation of large (possibly infinite) systems. In synchronous ones, coloured tokens may be used as parameters of synchronising actions, allowing a simple and compositional expression of interprocess communication. We also extend the MBC process terms and their associate structured operational semantics. The obtained high-level framework, called box calculus with data, BCD, is coherent with respect to MBC through the unfolding operation. Moreover, the resulting algebra of BCD terms is consistent with the net algebra in the sense that a term and the corresponding net generate isomorphic transition systems.
Type de document :
Autre publication
Technical report 2002-16, LACL. 2002
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00114687
Contributeur : Franck Pommereau <>
Soumis le : vendredi 17 novembre 2006 - 13:51:05
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:57:39

Fichier

2002-bcd.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00114687, version 1

Collections

Citation

Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with Coloured Buffers. Technical report 2002-16, LACL. 2002. 〈hal-00114687〉

Partager

Métriques

Consultations de la notice

156

Téléchargements de fichiers

76