整体与部分关系中的语义传播机制研究

为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。     

安全协议UML模型的SPIN分析

统一建模语言(UML)是设计和建模安全协议的常用方法,但UML缺少精确的语义,不能对协议模型作进一步分析和验证;Promela是一种具有精确语义的形式化语言,通过Promela规范给协议的UML模型赋予精确语义可以结合两者的优势,提出一种将安全协议UML模型转换成Promela规范的方法,定义了     

一种从UML类图和协作图到状态图的转换方法

统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。     

基于UML状态图的自动化测试系统研究与实现

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。     

基于场景的并发系统需求验证方法研究

为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动...     

基于UML状态图和Petri网的冷却水实时控制系统建模与分析

实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法.通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用.     

基于改进随机状态图的制造系统建模

为减少应用随机状态图进行制造系统建模的复杂性,引入抽象子系统和系统总图,分别表达随机状态图的相似性和整体性.应用改进后随机状态图建立了制造系统模型,将该模型转化为时间连续马尔可夫链,并对系统的性能指标进行了分析.实例验证表明,改进随机状态图能有效简化建模与性能分析过程,为制造系统设计与优化提供依据.     

UML类图模型到RDF(S)的映射方法的研究

在语义Web中,资源描述框架(RDF)用于实现Web上信息资源的语义描述,为本体层提供了表示语义信息的基础,统一建模语言UML作为面向对象的标准建模语言,研究从UML类图中提取领域知识将其转换为RDF(S),有利于克服直接在知识领域构建本体对专家知识的要求过高,减少领域专家的参与,便于本体的自动构建,有利于提高本体构建的质量和效率,对语义Web的开发实现有重要意义。在此通过对RDF(S)和UML类图模型比较分析,提出了由UML类图模型到RDF(S)的映射规则及算法。主要研究UML类图模型向RDF(S)映射的方法,将现有数据领域模型UML中的信息转换为RDF(S),实现RDF(S)本体的自动构建,提高本体构建的效率。     

基于指称语义的UML序列图的形式化分析

统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的...     

用数据精化验证UML模型演化

基于UML模型的软件开发正在成为主流的软件开发方法,但是UML缺乏精确语义的缺陷阻碍了对模型进行精确分析。本文采用基于状态的方法给出了UML分析和设计模型的形式定义,在数据精化的框架内研究了模型的精化问题,并通过一个实例说明了如何寻找模型状态空间之间的变换关系。该方法是对UML模型进行分析和验证的基础,也是开发自动设计工具的理论依据。     

基于IDEF和UML的虚拟装配系统建模

为了解决复杂虚拟装配系统的系统建模问题,在分析IDEF和UML建模方法优缺点的基础之上,提出了一种两者相结合的系统建模方法.首先利用IDEF建立系统的功能模型、信息模型和过程模型,再根据IDEF和UML模型之间的映射机制,将IDEF模型转换为UML模型,从而完成系统从需求分析、功能设计、对象设计直至软件实现的整个过程.该方法能有效弥补单纯采用IDEF方法建模或UML方法建模的缺陷,实践证明在虚拟装配系统建模中具有重要的应用价值.     

基于UML的热处理企业知识库管理系统建模

针对传统过程建模不能对系统开发编码阶段前的过程进行有效描述的问题,以热处理企业知识库管理系统的开发为例,提出了使用面向对象技术的UML标准建模语言对系统进行可视化模型描述的方法.通过采用UML语言建立系统的功能需求模型、静态模型、动态模型,抽象出系统的所有功能特征以对系统进行全面描述.结果表明,使用UML对热处理知识库...     

浅议UML在计算机等级考试网上报名系统开发中的应用

本文在对UML建模语言研究的基础上,从系统需求分析出发,利用UML对计算机等级考试网上报名系统进行了建模实践,建立了用例模型。随后根据用例模型和功能需求划分出了公告管理、网上报名、成绩管理、后台登录、系统维护等五个功能模块,并用UML中的时序图对相应模块进行了分析设计。     

UML在7号信令网管系统监控中心设计中的应用

介绍了面向对象领域广泛使用的统一建模语言UML,然后运用UML对7号信令网管理系统的监控中心进行了可视化的建模,建立了系统的需求模型、静态模型、动态模型和物理模型,最后总结了用UML进行系统需求分析和设计的优越性。     

基于UML的分析建模方法

分析建模是利用模型,从技术层次上表达系统需求分析中的需求说明和设计内容.UML是一种标准的建模技术,它为系统的需求分析提供了全面的模型.通过实例详细讨论了UML的用例图、类图和序列图在分析建模中的具体应用.     

UML在C#精品课程网站开发中的应用

UML（统一建模语言）是面向对象软件分析和设计的新技术,在介绍UML的基础上,采用Rational Rose工具对C#精品课程网站进行了UML系统建模,以实例证明了UML在软件分析设计中的技术优势.     

基于UML的网上求职招聘系统的分析与设计

文章在对网上求职招聘系统进行需求分析的基础上,利用统一建模语言UML对该系统进行详细的分析与设计,并对系统用例模型、结构模型和行为模型进行了可视化建模。     

UML在高校教务管理系统中的应用

UML统一建模语言是面向对象的可视化建模语言,同时也是现代软件设计开发过程中一个重要的指导工具。介绍了UML的历史、特点和构成以及高校教务管理系统的重要性,给出了系统中UML模型实例。     

UML和MVC设计模式在霓虹灯软件建模的应用

介绍基于统一建模语言UML(UnifiedModelingLanguage)的建模过程和MVC(Model-View-Controller)设计模式,并以霓虹灯七彩花样编辑软件的建模为例,论述基于UML和MVC相结合进行系统分析和设计的方法,建立并实现面向对象的软件模型。