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

Interface Automata——A Formal System for Components Composition

作　　者：张岩[1,2] 胡军[1,2] 于笑丰[1,2] 李宣东[1,2] 郑国梁[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093 [2]南京大学计算科学与技术系,南京210093

出　　处：《计算机科学》2005年第11期212-217,共6页Computer Science

基　　金：国家自然科学基金编号:60273036;国家重大基础研究计划973项目编号:2002CB312001;江苏省自然科学基金编号:BK2004080

摘　　要：接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。Interface automata is a new formal system used to specify components and interaction among them in the component-based system. Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods. This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them. By contrast with other formal methods, merits and limits of interface automata are summarized. This paper also gives significances of interface automata in theory and in practice, and the future of the application of interface automata.

关 键 词：接口自动机 时间接口自动机 资源接口 乐观方法 博弈 形式系统 自动机 接口 组件 种用 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] O141.1[自动化与计算机技术—计算机科学与技术]