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

• 作者: 于笑丰 张岩 李宣东 胡军 郑国梁
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 接口自动机 时间接口自动机 资源接口 乐观方法 博弈
• 年，卷（期）: 2005,（11）
• 所属期刊栏目: 软件工程
• 页码范围: 212-217
• 页数: 6页
• 分类号: TP3
• 字数: 10264字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2005.11.059

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机软件新技术国家重点实验室	72	1417	20.0	36.0
5	胡军	南京大学计算机软件新技术国家重点实验室	25	260	9.0	15.0
9	于笑丰	南京大学计算机软件新技术国家重点实验室	10	271	7.0	10.0
13	张岩	南京大学计算机软件新技术国家重点实验室	29	494	12.0	22.0