接口自动机——一种用于组件组合的形式系统

作者：张岩; 胡军; 于笑丰; 李宣东; 郑国梁

来源：计算机科学, 2005, (11): 212-217.

• 接口自动机
• 时间接口自动机
• 资源接口
• 乐观方法
• 博弈 Interface automata
• Timed interface automata
• Resource interface
• Optimistic approach
• Game

接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。

• 单位
  计算机软件新技术国家重点实验室; 南京大学