参数化组件化系统中的体系结构：定性和定量建模
摘要：构件化设计的关键方面之一是指定描述系统中构件的拓扑结构和允许的交互的软件架构。为了实现有基础的设计，需要同时考虑架构的定性和非功能性方面。本文研究了应用于参数化构件化系统的架构的定性和定量形式建模，该系统由每个构件的未知数量的实例组成。具体而言，我们引入了扩展的命题交互逻辑，并研究其一阶层级，该层级作为参数化系统交互的形式语言。我们的逻辑可以编码交互的执行顺序，这是几个重要架构的主要特点，并且可以建模递归交互。此外，我们证明了一阶扩展交互逻辑公式的等价性、可满足性和有效性问题的可判定性，并提供了描述著名架构的多个例子。我们通过有效地扩展我们关于参数化加权架构的结果来展示我们理论的强健性。为此，我们研究了交换半环上我们逻辑的加权对应物，并将其应用于建模具体架构的定量方面。最后，我们证明了在大类半环（即斜域的子半环）中，加权一阶扩展交互逻辑公式的等价性问题是可判定的。
作者：Maria Pittou, George Rahonis
论文ID：1904.02222
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22