云南高校图书馆联盟文献共享服务平台- UML模型

UML模型: 作品数：162被引量：365H指数：9; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：李宣东曾一郑国梁段富余双双更多>>; 相关机构：重庆大学电子科技大学北京航空航天大学南京大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国防科技技术预先研究基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

UML模型中并发对象的组合验证: 《计算机科学》2005年第7期231-233,F004,共4页董威王戟齐治昌; 国家自然科学基金(No.60303013);武汉大学软件工程国家重点实验室开放基金(No.SKLSE03-08); 本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全...; 关键词：并发对象 UML模型 STATECHARTS 验证组合同步合成模拟关系对象系统模型检验状态爆炸结构化自动机状态图协同