您的位置： 专家智库 > >

江苏省自然科学基金(BK2004080)

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

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇自动机
  • 2篇接口
  • 2篇接口自动机
  • 1篇顺序图
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇组件
  • 1篇组件组合
  • 1篇建模语言
  • 1篇UML
  • 1篇博弈

机构

  • 2篇南京大学

作者

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

传媒

  • 1篇计算机学报
  • 1篇计算机科学

年份

  • 1篇2006
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于场景规约的构件式系统设计分析与验证被引量：44
2006年
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.
胡军于笑丰张岩王林章李宣东郑国梁
关键词：接口自动机顺序图
接口自动机——一种用于组件组合的形式系统被引量：8
2005年
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。
张岩胡军于笑丰李宣东郑国梁
关键词：接口自动机博弈自动机接口组件
全选 清除 导出
共1页<1>
聚类工具0