期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于UML扩展机制的列控系统建模方法研究 被引量：7
1
作者 赵林 唐涛 +2 位作者 刘金涛 刘超 李宪 《铁道学报》 EI CAS CSCD 北大核心 2012年第12期64-70,共7页
本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更... 本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。 展开更多
关键词 uml扩展机制 对象约束语言 混成属性 列车运行控制系统
下载PDF
基于UML扩展机制的MDA协议建模语言研究 被引量：3
2
作者 宋瑾钰 蒋国明 高会聪 《计算机工程与设计》 CSCD 北大核心 2009年第5期1113-1114,1291,共3页
由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使... 由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。 展开更多
关键词 形式化语义 协议工程 uml扩展机制 模型驱动构架 交互抽象状态机描述语言
下载PDF
基于HUML扩展机制描述列控系统安全特性的研究 被引量：1
3
作者 刘磊 《铁道标准设计》 北大核心 2018年第12期159-163,共5页
针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安... 针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安全特性元素进行定义,创建安全相关概要文件,并在建模软件中得到实现,最后介绍该方法在CTCS-3级列控车载设备故障方面应用的一个实例。新的建模方法丰富了列控系统HUML模型的表达能力和应用范围,使得列控系统安全特性能够直接被描述,从而将安全分析的起点提前至系统建模阶段,为列控系统建模和形式化分析提供一条新的思路和途径。 展开更多
关键词 uml扩展机制 Huml 安全特性 列车运行控制系统
下载PDF
面向方面状态模型的UML扩展实现 被引量：5
4
作者 汤根生 王姚 《计算机技术与发展》 2011年第1期116-119,共4页
面向方面编程作为一种基于关注分离的软件开发思想,抽取出软件的功能性和非功能性属性,并引入实现横切关注点的方面,以织入的方式完成系统集成。然而面向方面编程方法只体现在软件生命周期的编码阶段,而缺少在设计阶段的支持。通过分析... 面向方面编程作为一种基于关注分离的软件开发思想,抽取出软件的功能性和非功能性属性,并引入实现横切关注点的方面,以织入的方式完成系统集成。然而面向方面编程方法只体现在软件生命周期的编码阶段,而缺少在设计阶段的支持。通过分析面向方面编程的概念及其特点,利用UML的扩展机制将方面加入状态图中,给出基于AspectJ语法语义扩展UML的状态模型,实现状态图方面与核心组件之间的织入关系,最终实现代码自动生成。 展开更多
关键词 面向方面 状态模型 uml扩展机制 横切关注点 ASPECTJ
下载PDF
基于HUML的列控系统形式化建模与参数分析方法 被引量：7
5
作者 赵晓宇 程瑞军 +1 位作者 程雨 马小平 《铁道学报》 EI CAS CSCD 北大核心 2016年第11期80-87,共8页
针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;... 针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;将列控系统安全性需求加入到HYTECH模型,建立安全HYTECH模;利用模型检验工具HYTECH对安全HYTECH模型进行自动分析。根据所提出的基于UML概要文件建模方法,以移动闭塞系统中的追踪模型为例,建立后行列车的控制器HUML模型;通过计算安全HYTECH模型的可达集得到未知控制参数的取值范围;验证结果表明基于HUML的列控系统建模和分析方法的有效性。 展开更多
关键词 高速铁路列控系统 uml扩展机制 混成自动机 移动闭塞控制系统 控制参数分析
下载PDF
基于UML的SMP2模型集成方法研究 被引量：4
6
作者 李春亮 雷永林 +1 位作者 张伟 朱一凡 《系统仿真学报》 CAS CSCD 北大核心 2009年第21期6755-6759,共5页
针对当前SMP2模型集成存在的不是完全的模型驱动和不具备图形化模型实例装配能力等问题,提出了基于UML的SMP2模型集成方法。该方法将模型集成分为两个阶段:系统分析和模型转换,并分别设计了UML Profile for SMP2Assembly和UML模型到SMP2... 针对当前SMP2模型集成存在的不是完全的模型驱动和不具备图形化模型实例装配能力等问题,提出了基于UML的SMP2模型集成方法。该方法将模型集成分为两个阶段:系统分析和模型转换,并分别设计了UML Profile for SMP2Assembly和UML模型到SMP2Assembly的模型转换规则,并以某导弹攻防对抗仿真系统的模型集成为例验证了该方法的有效性。经过扩展,提出的SMP2模型集成方法可集成到UML工具中,实现基于UML的系统分析到仿真系统模型实例装配的自动化。 展开更多
关键词 仿真模型可移植性规范 uml扩展机制 可扩展样式表语言转换 模型集成
原文传递
模型驱动的开放式结构悬挂物管理系统设计方法 被引量：4
7
作者 冯金富 刘安 +1 位作者 左伟 梁晓龙 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2010年第4期1-5,共5页
开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了... 开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了基于UML Profile的UML模型到AADL模型的转换方法,最后,以一个设计实例描述了该方法的设计过程。结果表明:基于模型驱动的开发方法为开放式结构悬挂物管理系统的设计提供了有效的解决方案,实现了系统设计与平台实现的分离。 展开更多
关键词 模型驱动架构 开放式结构 统一建模语言 uml扩展机制 体系结构分析与设计语言
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部