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

作品数：2被引量：46H指数：2
导出分析报告
相关作者：胡军李宣东张岩于笑丰郑国梁更多>>
相关机构：南京大学更多>>
相关期刊：《计算机学报》《计算机科学》更多>>
相关主题：接口自动机UML统一建模语言顺序图博弈更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于场景规约的构件式系统设计分析与验证被引量：40
《计算机学报》2006年第4期513-525,共13页胡军 于笑丰 张岩 王林章 李宣东 郑国梁 
国家自然科学基金(60425204;60233020;60573085);国家"九七三"重点基础研究发展规划项目基金(2002CB312001);江苏省自然科学基金(BK2004080)资助
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验...
关键词：构件式系统设计 接口自动机 模型检验 顺序图 统一建模语言(UML) 
接口自动机——一种用于组件组合的形式系统被引量：7
《计算机科学》2005年第11期212-217,共6页张岩 胡军 于笑丰 李宣东 郑国梁 
国家自然科学基金编号:60273036;国家重大基础研究计划973项目编号:2002CB312001;江苏省自然科学基金编号:BK2004080
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进...
关键词：接口自动机 时间接口自动机 资源接口 乐观方法 博弈 形式系统 自动机 接口 组件 种用 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部