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 and study their properties. Our earlier result shows that the BIP (Behaviour–Interaction–Priority) framework does not possess the strong full expressiveness with respect to the sub-class of GSOS rules used for the definition of its semantics. In this paper, we refine this comparison detailing the expressiveness of classical BIP, Offer BIP and a number of variations obtained either by relaxing the constraints in the definition of priority models or by introducing positive premises into the rule formats used to define the operational semantics of composition operators. The obtained results are organised into an expressiveness hierarchy.

中文翻译：

---

基于组件的框架的表现力：BIP 表现力的研究

我们扩展了我们之前对基于组件的框架概念的代数形式化，以便正式定义完全表达性概念的两种形式——强和弱——并研究它们的属性。我们之前的结果表明，BIP（行为-交互-优先级）框架对于用于定义其语义的 GSOS 规则子类不具有强大的完整表达能力。在本文中，我们改进了这种比较，详细说明了经典 BIP、Offer BIP 以及通过放宽优先级模型定义中的约束或通过在用于定义操作语义的规则格式中引入肯定前提而获得的许多变体。组合运算符。获得的结果被组织成一个表达层次。