基于UMCS树的UML类图的混合相似性度量

软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。

基于UML扩展机制的列控系统建模方法研究

本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。

基于RUP的UML建模方法在电子地图系统开发中的应用

以电子地图系统的开发为背景,介绍了在面向对象应用系统的分析与设计过程中,应用基于RUP的UML的建模技术进行系统建模的方法。在对系统进行需求分析的基础上,灵活选用UML提供的语言丰富的可视化表达元素,构建了系统的用户需求模型、混合模式体系架构模型、分析设计模型和实现模型。

基于HUML的列控系统形式化建模与参数分析方法

针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;将列控系统安全性需求加入到HYTECH模型,建立安全HYTECH模;利用模型检验工具HYTECH对安全HYTECH模型进行自动分析。根据所提出的基于UML概要文件建模方法,以移动闭塞系统中的追踪模型为例,建立后行列车的控制器HUML模型;通过计算安全HYTECH模型的可达集得到未知控制参数的取值范围;验证结果表明基于HUML的列控系统建模和分析方法的有效性。

基于UML的混合流水线制造系统仿真软件设计

UML作为当前流行的一种标准建模语言,已越来越广泛地应用于各种应用领域的软件系统设计。该文通过运用UML对混合流水线制造系统仿真软件的设计,阐明UML在系统仿真软件设计中的应用过程,说明其如何支持面向对象的开发技术以及如何实现软件结构设计等问题,同时通过混合流水线制造系统实例开发出相应的仿真软件以说明UML的应用前景。

基于HUML扩展机制描述列控系统安全特性的研究

针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安全特性元素进行定义,创建安全相关概要文件,并在建模软件中得到实现,最后介绍该方法在CTCS-3级列控车载设备故障方面应用的一个实例。新的建模方法丰富了列控系统HUML模型的表达能力和应用范围,使得列控系统安全特性能够直接被描述,从而将安全分析的起点提前至系统建模阶段,为列控系统建模和形式化分析提供一条新的思路和途径。

基于UML的美术学院学生信息管理系统设计与实现

针对当前美术学院学生管理中存在的管理环节众多,管理复杂等问题,提出采用UML建模语言开发的学生信息管理系统。通过统一采用UML建模语言,以Rational Rose作为建模工具,提出了符合美术学院实际的学生信息管理软件,并对软件的访问模式,数据库等进行了详细的设计,从而降低了在软件开发中的风险,并有效控制了整体的开发,并将大量的美术学院学生管理工作通过网络平台实现了科学化的管理,提高了学院学生管理的效率。

舰载机弹药调度演示系统设计与实现

针对舰载机弹药调度方案人工生成效率低和装备教学中缺乏舰载机弹药调度演示的问题,设计并开发了舰载机弹药调度演示系统。该系统首先基于统一建模语言(UML)时序图从动态角度建立系统模型;其次,采用混合粒子群算法和甘特图对调度方案进行求解和演示;最后,运用C++语言在Qt Creator平台上完成系统的开发。该系统可用于舰载机弹药调度辅助决策教学训练,并为训练人员提供辅助决策功能。

统一建模语言状态图的测试用例生成方法

目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts。作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法。考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法,最终实现对时间扩展UML statecharts的测试。

CTCS-3级列控系统等级转换场景功能安全分析

针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。

基于S2SH框架的混燃安装管理平台

为了方便企业高效管理混燃设备的安装,设计了基于S2SH框架的混燃安装管理平台。该平台由Struts2+Spring+Hibernate三种轻量级框架组成。基于此框架开发安装管理平台,能够提高安装效率、规范安装流程、降低企业的总成本。该框架层次清晰,降低了系统的耦合性,提高了代码的复用性及系统的可靠性、安全性和可维护性;界面交互性良好,操作简单,应用前景广阔。

Hybrid MARTE statecharts

The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specifi- cation and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to ex- tend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that： the logical time variables and the chronometric time vari- ables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition sys- tems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.