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

摘要：

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

关键词：接口自动机、时间接口自动机、资源接口、乐观方法、博弈

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60273036;科技部科研项目2002CB312001;江苏省自然科学基金BK204080

在线出版日期：2005-12-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：212-217