模型转换方法

作品数：29被引量：125H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蒋树张腾胡凯杨志斌姜泮昌更多>>
相关机构：北京航空航天大学南京航空航天大学西安电子科技大学中国科学院更多>>
相关期刊：《软件学报》《计算机工程》《中国塑料》《时空信息学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向CPS时空性质验证的混成AADL建模与模型转换方法被引量：6
《软件学报》2021年第6期1779-1798,共20页陈小颖 祝义 赵宇 王金永 
国家自然科学基金(62077029);徐州市应用基础研究计划(KC19004);江苏省研究生科研创新计划(KYCX20_2380);江苏省研究生科研创新计划(KYCX20_2384)。
随着信息物理融合系统CPS(cyber physical system)研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的安全性问题已经成为研究热点.针对该问题,提出了面向CPS时空性质验证的混成AADL(architecture analysis&d...
关键词：信息物理融合系统 时空性质 进程代数 AADL 形式化验证 
一种基于动作语义的UML_(1.X-2.0)模型转换方法(英文)被引量：1
《软件学报》2006年第8期1698-1706,共9页陈秀红 何克清 何璐璐 
国家自然科学基金;武汉市科技重点项目;湖北省自然科学基金;软件工程国家重点实验室开放基金~~
虽然UML2.0标准被OMG组织采纳已久,但由于UML1.X标准在工业界的广泛使用,仍然存在大量的实用模型和应用软件,它们在UML2.0标准之下已不能准确描述系统.UML2.0建模工具并不支持从UML1.X模型到UML2.0模型的转换.从顶层元模型的角度比较了...
关键词：模型—模型 模型转换 交互 动作语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部