A Note on the Expressiveness of BIP
This work addresses theoretical expressiveness limitations in component-based frameworks like BIP, which is incremental as it builds on prior formalizations to refine expressiveness notions.
The authors extended their algebraic formalization of component-based frameworks to define strong and weak forms of full expressiveness, showing that the BIP framework lacks strong full expressiveness but possesses weak full expressiveness, with results detailed for classical BIP and its modifications by relaxing priority model constraints.
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.