Expressiveness of component-based frameworks: ...
Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
Expressiveness of component-based frameworks: A study of the expressiveness of BIP
Auteur(s) :
Baranov, Eduard [Auteur]
Université Catholique de Louvain = Catholic University of Louvain [UCL]
Bliudze, Simon [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université Catholique de Louvain = Catholic University of Louvain [UCL]
Bliudze, Simon [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Titre de la revue :
Acta Informatica
Pagination :
761--800
Éditeur :
Springer Verlag
Date de publication :
2020-12
ISSN :
0001-5903
Mot(s)-clé(s) en anglais :
SOS formats
glue operators
component-based frameworks
BIP
expressiveness
glue operators
component-based frameworks
BIP
expressiveness
Discipline(s) HAL :
Informatique [cs]/Système multi-agents [cs.MA]
Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Langage de programmation [cs.PL]
Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Langage de programmation [cs.PL]
Résumé en anglais : [en]
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 ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-02149934v2/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-02149934v2/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-02149934v2/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- bipglue.pdf
- Accès libre
- Accéder au document
- bipglue.pdf
- Accès libre
- Accéder au document