建筑中连接件定量建模的形式代数方法
A formal algebraic approach for the quantitative modeling of connectors in architectures
摘要：
在本文中，我们提出了一个代数形式化的连接器的定量设置，以解决其非功能性的功能，基于组件的系统架构。首先，我们提出了一个加权代数的相互作用在一组端口和一个交换和幂等半环，这是充分的建模著名的协调计划的加权设置。反过来，我们研究了一组端口和一个交换和幂等半环的连接器的加权代数，它扩展了加权代数的相互作用与类型编码Renaissance和广播同步。我们通过对几个协调方案的加权连接器进行建模，展示了代数的表达能力。此外，我们还得到了两个子代数，即同步器的加权代数和触发器的加权代数，并研究了它们的性质。最后，我们引入了加权连接子的同余关系的概念，并给出了证明这种同余关系的条件。
英文摘要：
In this paper we propose an algebraic formalization of connectors in the quantitative setting, in order to address their non-functional features in architectures of component-based systems. We firstly present a weighted Algebra of Interactions over a set of ports and a commutative and idempotent semiring, which is proved sufficient for modeling well-known coordination schemes in the weighted setup. In turn, we study a weighted Algebra of Connectors over a set of ports and a commutative and idempotent semiring, which extends the weighted Algebra of Interactions with types that encode Rendezvous and Broadcast synchronization. We show the expressiveness of the algebra by modeling the weighted connectors of several coordination schemes. Moreover, we derive two subalgebras, namely the weighted Algebra of Synchrons and the weighted Algebra of Triggers, and study their properties. Finally, we introduce a concept of congruence relation for connectors in the weighted setup and we provide conditions for proving such a congruence.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
