A Note on the Expressiveness of BIP

TL;DR

This paper extends the formal understanding of BIP's expressiveness, showing it has weak but not strong full expressiveness, and explores how modifications affect this property.

Contribution

It introduces formal definitions of weak and strong full expressiveness and analyzes BIP's capabilities under these notions, including modified versions.

Findings

BIP has weak full expressiveness.

BIP does not have strong full expressiveness.

Modifications can alter BIP's expressiveness properties.

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.