Expressiveness of component-based frameworks: A study of the expressiveness of BIP - Archive ouverte HAL
Article Dans Une Revue Acta Informatica Année : 2020

Expressiveness of component-based frameworks: A study of the expressiveness of BIP

Résumé

We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms---strong and weak---of the notion of full expressiveness and study their properties. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) framework does not possess the strong full expressiveness with respect to the sub-class of GSOS rules used for the definition of its semantics. In this paper, we refine this comparison detailing the expressiveness of classical BIP, Offer BIP and a number of variations obtained either by relaxing the constraints in the definition of priority models or by introducing positive premises into the rule formats used to define the operational semantics of composition operators. The obtained results are organised into an expressiveness hierarchy.
Fichier principal
Vignette du fichier
bipglue.pdf (507.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02149934 , version 1 (06-06-2019)
hal-02149934 , version 2 (28-03-2021)

Identifiants

Citer

Eduard Baranov, Simon Bliudze. Expressiveness of component-based frameworks: A study of the expressiveness of BIP. Acta Informatica, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩. ⟨hal-02149934v2⟩
123 Consultations
321 Téléchargements

Altmetric

Partager

More