面向体系结构中连接器定量建模的形式化代数方法
计算机科学中的逻辑
2022-09-22 v4
摘要
本文提出连接器在定量设定下的代数形式化，以解决基于组件系统体系结构中连接器的非功能特性问题。我们首先提出端口集与交换幂等半环上的加权交互代数，并证明该代数足以对加权设定下已知的协调模式进行建模。进而，我们研究端口集与交换幂等半环上的加权连接器代数，其通过编码会合(Rendezvous)与广播(Broadcast)同步的类型扩展了加权交互代数。我们通过建模若干协调模式的加权连接器展示了该代数的表达能力。此外，我们推导出两个子代数，即加权同步代数与加权触发代数，并研究其性质。最后，我们引入加权设定下连接器同余关系的概念，并给出证明此类同余的条件。
引用
@article{arxiv.2202.06594,
title = {A formal algebraic approach for the quantitative modeling of connectors in architectures},
author = {Christina Chrysovalanti Fountoukidou and Maria Pittou},
journal= {arXiv preprint arXiv:2202.06594},
year = {2022}
}
备注
58 pages, 4 figures