基于敏捷开发增量UML模型的研究

敏捷开发方法倾向于工作软件实体而不时全面的文档,全面文档可能包括统一uml建模语言,uml语言维护起来非常的昂贵,因为他缺少良好的增量机制,但是uml建模语言提供了良好的可视化功能。本文描述了在快速开发的源代码中嵌入图形uml类的方法,该方法通过识别一个主函数并且通过显示驱动UML的后置条件来直接布局相应的功能。因此该方法引入了前置条件和后置条件。并且提供了一个具体例子来执行说明这一点.当在工具的支持下时它支持uml类模型在敏捷开发过程中的可视化。

UML顺序图的鲁棒性分析

鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language,UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义,随后讨论顺序图在组合与精化条件下的保存问题。最后,在原型工具支持下进行实例研究。实验结果表明,设计阶段的顺序图能保持分析阶段顺序图的鲁棒性,从而可以给予从事面向对象的开发人员相关帮助及支持。

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

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

基于UML与UPPAAL的高铁列控临时限速切换场景建模与验证

为提高高速铁路列控临时限速命令在临时限速服务器(temporary speed restriction server, TSRS)与无线闭塞中心(radio block center, RBC)跨界重叠区域信息传递过程的时效性和安全性,建立TSRS切换与RBC切换跨界重叠区域限速流程的数学模型,根据中国列车运行控制系统(Chinese train control system, CTCS)CTCS-2/CTCS-3高铁列控系统间临时限速命令交互的特点,采用统一建模语言(unified modeling language, UML)与时间自动机模型理论相结合的方法,采用形式化验证工具UPPAAL寻找临时限速命令在跨界重叠区域信息传递的不足和漏洞。研究结果表明:列控临时限速是高铁安全运行的重要组成部分,其与高铁列控高铁调度集中(centralized traffic control, CTC)、RBC、列控中心(train control center, TCC)等相关子系统有频繁的信息交互,不同子系统间信息传递过程不同,Timer(时间控制器)、Resend(重发控制器)、TSRS和RBC时间自动机数学模型验证结果为TSRS切换与RBC切换信息在跨界重叠区域的传递时间小于3 s,且时间自动机模型信息通道无锁死情况,大大提高高铁列车运行的时效性和安全性。

基于UML和ASP的艺术类考试成绩查询系统设计与实现

本文采用统一建模语言UML对考试成绩查询系统进行建模,设计了基于UML的艺术类考试成绩查询系统模型,利用ASP技术实现考试成绩查询系统,大大提高艺术类考试成绩管理工作的效率和质量。

基于UML的铁路信号图纸校核系统研究

针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用UML技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理;对铁路信号图纸数据库进行介绍;从系统结构、测试范围、功能验证等方面详细介绍图纸校核系统。该图纸校核系统可以在工程实施中提供施工图审查、校核,提升现场作业效率。

基于Petri网和UML活动图工作流建模比较

在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析,认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上,讨论了工作流建模的几个关键要素在Petri网和UML活动图下的建模比较。通过分析认为,Petri网更适合于封闭、主动系统的建模,UML活动图能够较为充分的适应开放、响应型系统的建模,Petri网较适合对稀有资源的建模。因此UML活动图更适合工作流这种开放、响应型系统建模。

面向对象的软件分析与设计——基于UML、面向对象的系统分析设计方法

统一建模语言UML是面向对象软件设计的新技术。文章分析了基于UML进行面向对象的系统分析度设计方法，包括静态建模和动态建模，‘介绍了一种实用的基于UML的需求分析及其建模方法，以活动图模型来表达业务模型，以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑，以应用例图表达系统需求，讨论了需求分析及其建模的过程概念。

基于UML实时系统设计方法的分析与比较

总结了目前UML在实时系统设计中应用的现状,介绍了UML实时扩展的各种技术和方法,通过对实时系统可调度性、可预测性、安全性等实时性能的描述,比较了各种常用的技术和方法的优缺点,并对现有方法的局限性提出了UML实时扩展中尚待解决的问题及新的研究方向,对UML实时系统的应用设计提出了参考建议。

基于UML的面向方面建模方法

面向方面编程(AOP)技术通过横切关注来实现软件系统。面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发(AOSD)模型框架。从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法。利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系。协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成。基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性。

一种基于UML的高校学生常用业务建模分析与设计

随着全国各高校招生人数的增加,高校信息管理的有关业务变得复杂,传统业务流程模式下的高校信息管理暴露了信息传递慢,信息传递量大,工作步骤复杂,工作效率低,并且大部分学生面对业务问题感到迷茫,很难有人能一对一的帮忙解答。由于业务流程的复杂性和多样性。

UML类图的一致性分析

在面向对象开发过程中,UML类图作为表达系统静态结构的最主要方式,蕴含着大量结构信息,使得软件开发阶段各种层次类图之间的一致性难以得到保证。为保证UML类图的一致性,通常将形式化方法与UML类图结合起来对类图精化过程进行分析验证。然而在形式化过程中往往存在UML类图模型信息丢失或增加的问题。引入形式化模型统一结构不会丢失或增加信息,为此首先将UML类图描述为统一结构,给出精化函数的定义;其次给出验证精化函数有效性的算法;最后在开发的原型工具上进行实例验证。对精化过程的验证实验结果表明,该方法可以帮助设计人员及时发现并处理类图中存在的不一致现象。

UML模型在信息系统需求分析中的应用

系统需求分析是软件信息系统开发活动的起始环节,使用UML模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法,根据不同软件系统的需求描述,选取适当的UML分析模型从不同的角度对需求中的功能点进行描述,可以使系统用户、需求分析人员以及未来的设计开发人员能通过多个角度观察目标系统的应用场景、业务流程、系统对象的状态变化;从抽象的维度了解目标系统的功能、系统对象之间的关系、业务规则和约束。通过一个用于车辆管理的信息化系统的需求分析过程,分别探讨了用例图、活动图(业务流程图)、状态转换图三种UML模型的适用场景和使用方法,以及在实践工作中的注意事项。为相似的信息化系统的需求分析实践提供一种可供参考的操作方法。

一种基于UML模型的系统测试方法

针对基于用UML开发的软件系统的用例之间的复杂联系, 设计了一种通过UML活动图表示UML用例图来对UML用例图中各个用例之间的联系进行描述, 并对其中的用例进行扩展; 在此基础上通过对UML活动图中用例遍历的系统测试方法.

UML/OMG IDL建模

介绍UML/OMGIDL建模技术 ,UML/IDL建模的方法和步骤 ,最后结合一个电子银行应用 。

定义及验证UML Statechart图中的数据流语义

在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。

利用UML设计与实现地图符号编辑器

以面向对象的软件工程为基础 ,运用UML语言阐述地图符号编辑器的功能需求、总体设计、详细设计、编码和测试的过程 。

一种UML模型跨图一致性检查系统设计与实现

统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖于人工进行跨图的一致性检查。随着软件系统规模的不断增大和逻辑复杂性的增高,仅依赖于人工难免存在疏漏。对此,设计并实现了一种基于规则的UML模型跨图一致性检查系统。用户上传的模型文件被解析后,采用所提出的7条规则,通过OCL描述对上述组件进行模型分析和跨图一致性检查。其中,模型分析包括词法分析、逻辑结构分析等,一致性检查规则包括类图、状态图、顺序图的相关规则。通过实现与验证,所设计的系统能有效地检测类图、顺序图等图中的不一致问题。

基于UML图和不同粒度切片的回归测试研究

针对面向对象软件回归测试的新特点,本文引入了基于UML图的不同粒度切片。首先,对描述类间关系的UML类图和描述状态变迁关系的UML状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于UML类图的粗粒度切片工具;类内测试提出一种基于UML状态图细粒度切片的方法。最后,将其应用于销售订单系统,结果表明以上两种分析方法可以有效地提高回归测试效率。

基于OBE理念的面向对象分析与UML课程混合式教学改革与实践

面向对象分析与UML课程的传统教学模式存在着教学时空限制、课程思政融入不足、学生知识构建困难以及实践能力培养不足等问题。为解决这些问题,本文提出了一种基于OBE理念的“SPOC+BOPPPS+翻转课堂”线上线下混合教学模式和“ARCS+典型工作任务+PBL作业”实践教学模式。该模式以课程知识图谱为依托,以问题为导向,以课程设计为主线,从知识、能力、素质和课程思政等多个维度开展教学。实践表明,该模式有效提升了学生的学习效果和综合素质。