A Note on the Expressiveness of BIP
Baranov, Eduard; Bliudze, Simon
2016

Files

Abstract

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. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) framework does not possess the strong full expressiveness. In this paper, we show that BIP has the weak form of this notion and provide results detailing weak and strong full expressiveness for classical BIP and several modifications, obtained by relaxing the constraints imposed on priority models.

Details

Title A Note on the Expressiveness of BIP
Author(s) Baranov, Eduard ; Bliudze, Simon
Published in Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)
Pagination 14
Editor(s)
Series Electronic Proceedings in Theoretical Computer Science, 222
Pages 1-14
Conference Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016), Québec, Canada, August 22, 2016
Date 2016
Publisher Sydney, Open Publ Assoc
Keywords
DOI https://doi.org/10.4204/EPTCS.222.1
Other identifier(s) View record in Web of Science
Laboratories RISD
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > RISD - Rigorous System Design Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date 2016-09-13

Actions

Preview