接口结构安全性：互模拟无干扰性与安全合成算法

"接口结构的安全性：反应系统的互模拟无干扰性和安全合成算法" 这篇论文主要探讨了接口自动机在安全建模中的应用，特别是如何使用接口结构的安全性（Interface Structure Safety, ISS）来保证系统间交互的安全性。接口自动机是一种模型，用于描述有状态的接口，它在系统集成和互操作性分析中非常有用。 作者Matias Lee和Pedro R. D'Argenio提出了一个变种的接口自动机，称为接口结构的安全性（ISS），其核心在于允许安全建模和反应系统的互模拟无干扰性。互模拟无干扰性是指两个系统在交互过程中不会互相干扰对方的正常运行，保持各自的行为特性。 论文中，作者定义了“兼容接口”的概念，这是指两个或多个接口可以组合，形成一个新的安全接口，满足预定的安全要求。他们提供了一种算法，用于判断是否可以通过控制（例如，修剪某些公共输入动作）来合成安全的ISS。这个算法有助于确定哪些接口可以安全地组合，同时避免了可能的冲突。 此外，论文还给出了组件ISS的一些充分条件，这些条件确保了它们的组合是安全的，无需进行合成过程。这为系统设计师提供了一种评估和保证接口安全性的方法，从而可以在设计阶段就预防潜在的问题。 接口描述是系统与外部环境交互的规范，特别是在多系统协作的场景下，如Web服务之间的交互。好的接口描述能帮助分析系统间的交互行为，预测组合系统是否能满足预期的需求。接口自动机作为一种接口建模工具，已被广泛用于接口的兼容性检查，即当两个接口协同工作时，它们能否形成一个满足需求的新接口。 文章强调了接口建模在系统设计中的重要性，因为它允许分析系统的行为和接口之间的相互作用。通过接口结构的安全性（ISS）和互模拟无干扰性，可以确保系统的安全性和可靠性，这对于现代复杂系统的开发至关重要。 这篇论文是在ANPCyTPICT26135和SeCyT-BP4的支持下完成的，同时也得到了CONICET的资助。它在《理论计算机科学电子笔记》（Electronic Notes in Theoretical Computer Science）上发表，遵循了CC BY-NC-ND许可协议。