Revisiting Glue Expressiveness in Component-Based Systems
International audience We take a fresh look at the expressivity of BIP, a recent influential formal component model developed by J. Sifakis et al. We introduce a process calculus, called CAB, that models composite components as the combination of a glue (using BIP terminology) and subcomponents, and...
Main Authors: | , |
---|---|
Other Authors: | , , , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://hal.inria.fr/hal-01582994 https://hal.inria.fr/hal-01582994/document https://hal.inria.fr/hal-01582994/file/978-3-642-21464-6_2_Chapter.pdf https://doi.org/10.1007/978-3-642-21464-6_2 |
id |
ftccsdartic:oai:HAL:hal-01582994v1 |
---|---|
record_format |
openpolar |
spelling |
ftccsdartic:oai:HAL:hal-01582994v1 2023-05-15T16:49:26+02:00 Revisiting Glue Expressiveness in Component-Based Systems Giusto, Cinzia, Stefani, Jean-Bernard System architecture for reflective distributed computing environments (SARDES) Inria Grenoble - Rhône-Alpes Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG) Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF) Wolfgang Meuter Gruia-Catalin Roman TC 6 WG 6.1 Reykjavik, Iceland 2011-06-06 https://hal.inria.fr/hal-01582994 https://hal.inria.fr/hal-01582994/document https://hal.inria.fr/hal-01582994/file/978-3-642-21464-6_2_Chapter.pdf https://doi.org/10.1007/978-3-642-21464-6_2 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_2 hal-01582994 https://hal.inria.fr/hal-01582994 https://hal.inria.fr/hal-01582994/document https://hal.inria.fr/hal-01582994/file/978-3-642-21464-6_2_Chapter.pdf doi:10.1007/978-3-642-21464-6_2 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Coordination Models and Languages (COORDINATION) https://hal.inria.fr/hal-01582994 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩ [INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftccsdartic https://doi.org/10.1007/978-3-642-21464-6_2 2021-10-24T08:10:30Z International audience We take a fresh look at the expressivity of BIP, a recent influential formal component model developed by J. Sifakis et al. We introduce a process calculus, called CAB, that models composite components as the combination of a glue (using BIP terminology) and subcomponents, and that constitutes a conservative extension of BIP with more dynamic forms of glues. We study the Turing completeness of CAB variants that differ only in their language for glues. We show that limiting the glue language to BIP glues suffices to obtain Turing-completeness, whereas removing priorities from the control language loses Turing-completeness. We also show that adding a simple form of dynamic component creation in the control language without priorities is enough to regain Turing completeness. These results complement those obtained on BIP, highlighting in particular the key role of priorities for expressivity. Conference Object Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) 16 30 |
institution |
Open Polar |
collection |
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
op_collection_id |
ftccsdartic |
language |
English |
topic |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
spellingShingle |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Giusto, Cinzia, Stefani, Jean-Bernard Revisiting Glue Expressiveness in Component-Based Systems |
topic_facet |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
description |
International audience We take a fresh look at the expressivity of BIP, a recent influential formal component model developed by J. Sifakis et al. We introduce a process calculus, called CAB, that models composite components as the combination of a glue (using BIP terminology) and subcomponents, and that constitutes a conservative extension of BIP with more dynamic forms of glues. We study the Turing completeness of CAB variants that differ only in their language for glues. We show that limiting the glue language to BIP glues suffices to obtain Turing-completeness, whereas removing priorities from the control language loses Turing-completeness. We also show that adding a simple form of dynamic component creation in the control language without priorities is enough to regain Turing completeness. These results complement those obtained on BIP, highlighting in particular the key role of priorities for expressivity. |
author2 |
System architecture for reflective distributed computing environments (SARDES) Inria Grenoble - Rhône-Alpes Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG) Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF) Wolfgang Meuter Gruia-Catalin Roman TC 6 WG 6.1 |
format |
Conference Object |
author |
Giusto, Cinzia, Stefani, Jean-Bernard |
author_facet |
Giusto, Cinzia, Stefani, Jean-Bernard |
author_sort |
Giusto, Cinzia, |
title |
Revisiting Glue Expressiveness in Component-Based Systems |
title_short |
Revisiting Glue Expressiveness in Component-Based Systems |
title_full |
Revisiting Glue Expressiveness in Component-Based Systems |
title_fullStr |
Revisiting Glue Expressiveness in Component-Based Systems |
title_full_unstemmed |
Revisiting Glue Expressiveness in Component-Based Systems |
title_sort |
revisiting glue expressiveness in component-based systems |
publisher |
HAL CCSD |
publishDate |
2011 |
url |
https://hal.inria.fr/hal-01582994 https://hal.inria.fr/hal-01582994/document https://hal.inria.fr/hal-01582994/file/978-3-642-21464-6_2_Chapter.pdf https://doi.org/10.1007/978-3-642-21464-6_2 |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Lecture Notes in Computer Science 13th Conference on Coordination Models and Languages (COORDINATION) https://hal.inria.fr/hal-01582994 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩ |
op_relation |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21464-6_2 hal-01582994 https://hal.inria.fr/hal-01582994 https://hal.inria.fr/hal-01582994/document https://hal.inria.fr/hal-01582994/file/978-3-642-21464-6_2_Chapter.pdf doi:10.1007/978-3-642-21464-6_2 |
op_rights |
http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess |
op_doi |
https://doi.org/10.1007/978-3-642-21464-6_2 |
container_start_page |
16 |
op_container_end_page |
30 |
_version_ |
1766039578956791808 |