Publication
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.
Jian Wang, Matthias Finger, Qian Wang, Yiming Li, João Miguel das Neves Duarte, Matthias Wolf, Varun Sharma, Yi Zhang, Tian Cheng, Yixing Chen, Alexis Kalogeropoulos, Ioannis Papadopoulos, Hua Zhang, Siyuan Wang, Xin Chen, Michele Bianco, Sebastiana Gianì, Sun Hee Kim, Rakesh Chawla, Jan Steggemann, Konstantin Androsov, Anna Mascellani, Federica Legger, Matteo Galli, Gabriele Grosso
Jian Wang, Matthias Finger, Qian Wang, Yiming Li, João Miguel das Neves Duarte, Matthias Wolf, Varun Sharma, Yi Zhang, Tian Cheng, Yixing Chen, Alexis Kalogeropoulos, Ioannis Papadopoulos, Hua Zhang, Siyuan Wang, Jessica Prisciandaro, Peter Hansen, Xin Chen, Michele Bianco, Sebastiana Gianì, Davide Di Croce, Arvind Shah, Wei Sun, Jian Zhao, Rakesh Chawla, Jan Steggemann, Konstantin Androsov, Federica Legger, Bandeep Singh