期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
接口自动机——一种用于组件组合的形式系统
被引量：
7
1
作者
张岩
胡军
+2 位作者
于笑丰
李宣东
郑国梁
《计算机科学》
CSCD
北大核心
2005年第11期212-217,共6页
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进...
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。
展开更多
关键词
接口自动机
时间接口自动机
资源接口
乐观方法
博弈
形式系统
自动机
接口
组件
种用
在线阅读
下载PDF
职称材料
题名
接口自动机——一种用于组件组合的形式系统
被引量：
7
1
作者
张岩
胡军
于笑丰
李宣东
郑国梁
机构
南京大学计算机软件新技术国家重点实验室
南京大学计算科学与技术系
出处
《计算机科学》
CSCD
北大核心
2005年第11期212-217,共6页
基金
国家自然科学基金编号:60273036
国家重大基础研究计划973项目编号:2002CB312001
江苏省自然科学基金编号:BK2004080
文摘
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。
关键词
接口自动机
时间接口自动机
资源接口
乐观方法
博弈
形式系统
自动机
接口
组件
种用
Keywords
Interface automata, Timed interface automata, Resource interface, Optimistic approach, Game
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
O141.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
接口自动机——一种用于组件组合的形式系统
张岩
胡军
于笑丰
李宣东
郑国梁
《计算机科学》
CSCD
北大核心
2005
7
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
