Jean-Baptiste Raclet女士;埃里克·巴杜埃尔;阿尔伯特·本文尼斯特;贝诺·凯劳德;Legay、Axel;罗伯托·帕塞罗内 用于基于组件的设计的模态接口理论。 （英语） Zbl 1242.68147号 芬丹。通知。 108，编号1-2，119-149（2011）. 摘要：本文介绍了模态接口理论，这是接口自动机和模态规范的统一，是两种截然不同的接口理论模型。界面自动机是一种基于游戏的模型，它允许设计者表达对环境的假设，并使用乐观的组合视图：如果有一个环境可以协同工作，那么可以组合两个组件。模态规范是对具有丰富合成代数的模态微积分片段的语言理论描述，它满足某些方法学要求，但不允许区分环境和组件。本文纠正了Larsen等人在这方面的首次尝试，绘制了模态接口代数的完整图，并进一步推动了接口自动机、模态自动机和模态接口之间的比较，从而使这两种理论得到了更彻底的统一。 引用于23文件 MSC公司： 65年第68季度 形式语言和自动机 03B45号 模态逻辑（包括规范逻辑） 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 关键词：基于组件的系统;组装推导;界面理论;接口自动机;模态规范;模态微积分 软件：托勒密 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.Raclet}等人，Fundam。通知。108，编号1--2，119-449（2011；Zbl 1242.68147） 全文： 内政部