进程代数体系结构描述语言：在非同步通信存在下泛化面向组件的失配检测

在原始论文中，我们展示了如何通过加入表示非同步通信的能力来增强典型进程代数体系结构描述语言的表达能力。特别地，我们通过附加限定符扩展了该语言，使设计者能够区分同步、半同步和异步端口。此外，我们展示了如何修改用于检测协调失配的技术，例如星型拓扑的兼容性检查和环型拓扑的互操作性检查，使得这两种检查在非同步通信存在下也适用。在本补遗中，我们通过考虑行为变体、外生变体、内生变体和多重性变体，从而处理可能存在的非同步通信，泛化了这些结果，表明可以以面向组件的方式验证某一类任意属性（不仅是死锁）在具有任意拓扑（不仅是星型和环型）的整个体系结构类型上的成立性。这些证明是Alessandro Aldini、Marco Bernardo和Flavio Corradini所著、Springer于2010年出版的《A Process Algebraic Approach to Software Architecture Design》一书中提及的若干结果的基础。