Défense et illustration des algèbres de processus

Hubert Garavel

Actes de l'Ecole d'été Temps Réel ETR 2003, September 2003

Abstract:

Process algebras are a mathematical formalism for the description and study of concurrent systems. In this paper, we explain why the fundamental concepts of process algebras, when combined with appropriate languages for the description of data types, provide technically better solutions than other formalisms. In particular, we underline the intrinsic advantages of process algebras in four respects, which are generally antinomic: the expressiveness offered to users, the capability to model various types of applications, the possibility to generate prototype implementations automatically, and the efficiency permitted to automated verification tools.

Résumé :

Les algèbres de processus sont un formalisme mathématique pour la description et l'étude des systèmes concurrents. Dans cet article, nous expliquons pourquoi les concepts fondamentaux des algèbres de processus, lorsqu'ils sont combinés avec des langages appropriés pour la description des types de données, fournissent des solutions techniquement supérieures à d'autres formalismes. En particulier, nous soulignons les avantages intrinsèques des algèbres de processus sur quatre points généralement antinomiques : l'expressivité offerte aux utilisateurs, la capacité à modéliser divers types d'applications, la possibilité de générer automatiquement des implémentations prototypes et l'efficacité permise aux outils de vérification automatisée.

25 pages

PDF

PostScript

Slides of H. Garavel's lecture at ETR'03

PDF