UML扩展机制

作品数：9被引量：33H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：龙湘明苏森孙其博李宪赵晓宇更多>>
相关机构：北京交通大学北京邮电大学国防科学技术大学兰州交通大学更多>>
相关期刊：《铁道标准设计》《计算机技术与发展》《计算机工程与设计》《铁道学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于HUML扩展机制描述列控系统安全特性的研究被引量：1
《铁道标准设计》2018年第12期159-163,共5页刘磊 
国家自然科学基金(高铁联合基金)(U1534208)
针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安...
关键词：UML扩展机制 HUML 安全特性 列车运行控制系统 
基于HUML的列控系统形式化建模与参数分析方法被引量：7
《铁道学报》2016年第11期80-87,共8页赵晓宇 程瑞军 程雨 马小平 
国家高技术研究发展计划(2011AA11A102)
针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;...
关键词：高速铁路列控系统 UML扩展机制 混成自动机 移动闭塞控制系统 控制参数分析 
基于UML扩展机制的列控系统建模方法研究被引量：7
《铁道学报》2012年第12期64-70,共7页赵林 唐涛 刘金涛 刘超 李宪 
国家高技术研究发展计划(863计划)(2011AA010104);中央高校基本科研业务费专项基金(2011JBM322)
本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更...
关键词：UML扩展机制 对象约束语言 混成属性 列车运行控制系统 
面向方面状态模型的UML扩展实现被引量：5
《计算机技术与发展》2011年第1期116-119,共4页汤根生 王姚 
国家自然科学基金项目(60474072Z);广东省自然科学基金项目(07001774)
面向方面编程作为一种基于关注分离的软件开发思想,抽取出软件的功能性和非功能性属性,并引入实现横切关注点的方面,以织入的方式完成系统集成。然而面向方面编程方法只体现在软件生命周期的编码阶段,而缺少在设计阶段的支持。通过分析...
关键词：面向方面 状态模型 UML扩展机制 横切关注点 ASPECTJ 
模型驱动的开放式结构悬挂物管理系统设计方法被引量：4
《空军工程大学学报（自然科学版）》2010年第4期1-5,共5页冯金富 刘安 左伟 梁晓龙 
国家"863"高技术研究发展计划资助项目(2007AAJ127;2007AAJ210)
开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了...
关键词：模型驱动架构 开放式结构 统一建模语言 UML扩展机制 体系结构分析与设计语言 
基于UML的SMP2模型集成方法研究被引量：4
《系统仿真学报》2009年第21期6755-6759,共5页李春亮 雷永林 张伟 朱一凡 
国家自然科学基金(60974073)
针对当前SMP2模型集成存在的不是完全的模型驱动和不具备图形化模型实例装配能力等问题,提出了基于UML的SMP2模型集成方法。该方法将模型集成分为两个阶段:系统分析和模型转换,并分别设计了UML Profile for SMP2Assembly和UML模型到SMP2...
关键词：仿真模型可移植性规范 UML扩展机制 可扩展样式表语言转换 模型集成 
基于UML扩展机制的MDA协议建模语言研究被引量：3
《计算机工程与设计》2009年第5期1113-1114,1291,共3页宋瑾钰 蒋国明 高会聪 
浙江省教育厅科研基金项目(20060621)。
由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使...
关键词：形式化语义 协议工程 UML扩展机制 模型驱动构架 交互抽象状态机描述语言 
UML扩展机制在嵌入式实时建模中的应用被引量：3
《科学技术与工程》2007年第6期1012-1014,共3页段盛 
在嵌入式实时系统建模中,针对UML没有专门的图来描述实时性,对时间约束的建模能力不强的情况,提出了一种使用UML扩展机制进行嵌入式实时系统建模的方法,并介绍了该方法的一个应用实例。
关键词：UML 嵌入式系统 实时系统 
使用UML扩展机制描述软件非功能需求的新方法被引量：4
《计算机工程》2005年第14期51-53,共3页龙湘明 孙其博 苏森 
国家自然科学基金资助项目(90204007);国家杰出青年基金资助项目(60125101);教育部博士点基金资助项目(20020013004)
指出了已有非功能需求描述方法的缺陷,提出了一种使用UML扩展机制描述非功能需求的新方法——NFRProfile,使非功能需求的描述更加直观和准确。同时,NFRProfile将UML从功能建模扩展到非功能建模,丰富了UML的应用范围,使得对功能和非功能...
关键词：非功能需求 UML外围 衍型 对象约束语言 用例 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部