您的位置： 专家智库 > >

国家自然科学基金(60273036)

作品数：1 被引量：8H指数：1
相关作者：胡军李宣东张岩于笑丰郑国梁更多>>
相关机构：南京大学更多>>
发文基金：江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：理学自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇自动机
  • 1篇组件
  • 1篇组件组合
  • 1篇接口
  • 1篇接口自动机
  • 1篇博弈

机构

  • 1篇南京大学

作者

  • 1篇郑国梁
  • 1篇于笑丰
  • 1篇张岩
  • 1篇李宣东
  • 1篇胡军

传媒

  • 1篇计算机科学

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
接口自动机——一种用于组件组合的形式系统被引量：8
2005年
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。
张岩胡军于笑丰李宣东郑国梁
关键词：接口自动机博弈自动机接口组件
全选 清除 导出
共1页<1>
聚类工具0