安全协议UML模型的SPIN分析

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

模型检测与定理证明相结合开发并验证高可信嵌入式软件

首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错误情况给出的反例路径,尽早修改软件的UML设计模型;然后将已验证过的UML模型转换为定理证明工具B方法的抽象规约,利用B方法的精化、验证及代码生成功能,直接生成正确的C代码。并给出了从UML状态机到REACTIVE MODULES建模语言及B AMN抽象规约的转换规则。实验结果表明,该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。     

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

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

一种结合UML和B的软件需求获取方法

精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型.然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约.使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程.     

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

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

UML对象模型到RDBMS的映射表示

介绍了统一建模语言UML对数据库问题的建模方法，着重描述了UML对象模型的各种类关系到关系型数据库管理系统RDBMS的映射表示，结合实例提出了数据库的面向对象设计的实现思路。     

基于本体的需求模型到UML模型转换方法

基于本体的需求建模能够保证需求描述的正确性和完整性,但最终得到的应用模型描述是基于应用本体的,不易于普通软件设计人员理解,无法直接成为设计时所需的需求规格说明文档.而UML语言已成为面向对象建模的实际标准.因此,将本体概念引入UML模型中,通过定义UML模型中的元本体,构建基于本体的需求模型到UML元模型的映射规则,在此基础上,设计并实现一种基于规则的图元自动转换工具,实现基于本体的需求模型到UML元模型的转换,为后期软件设计提供需求基础.     

基于UML的实用软件体系结构描述方法的应用研究

提出一种基于统一建模语言（Unified Modeling Language,简称UML）的实用软件体系结构描述方法,将软件体系结构设计、描述和表示与软件系统建模有机结合在一起,并以异构网络平台的数据集成中间件（Data Integration Middleware,简称DI）开发为例,通过使用大量UML构造型对软件体系结构的多个视图模型进行规范化描述,使开发者在此基础上可以容易地进行DI的详细设计和编码,也为以后DI功能的变化和体系结构设计的重用提供了良好的支持.     

基于UML的关系数据库模型的设计与实现

将UML类图模型与关系数据库设计相结合,利用面向对象方法和工具提出一套完整的对象-关系映射方法,应用于电子商务系统,加速了系统数据库的设计.     

基于UML的供应链订单管理系统设计

分析了供应链管理面向需求的特点,结合软件工程和面向对象技术,设计了基于UML类图和顺序图的供应链订单管理系统模型,并运用UML活动图描述订单处理的工作流程.     

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

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

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

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

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

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

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

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

运用UML建模机制构建图书管理系统

运用UML建模机制对一个简单的图书管理系统进行分析，利用用例图、类图、活动图建立、图书管理系统需求分析模型，通过建立静态模型(用例图、包图、配置图)和动态模型．(状态图、顺序图、合作图)，展示UML建模机制应用实例，说明应用UML建模机制，在对系统进行分析、设计到实现的不同阶段，建立起灵活的系统模型的过程和机制。     

面向信息物理融合系统的异构模型转换方法

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在CPS系统设计开发与仿真验证时,往往需要组合使用多种设计模型或建模语言以描述信息域与物理域实体特点.针对CPS计算物理深度融合的问题,在分析基于计算模型和物理模型进行CPS系统协同开发需求和可行性的基础上,以统一建模语言(Unified Modeling Language,UML)模型和仿真(Simulink)模型分别作为计算过程和物理过程典型建模方式,研究了连续时间和离散事件模型间的结构映射和行为映射,提出了一种Simulink模型与UML类图和活动图之间的转换方法,并通过ATL(ATLAS Transformation Language)转换规则实现了技术验证.     

UML在嵌入式系统设计中的应用

为开发具有可复用性、可扩展性的高质量软件,探讨了基于UML的面向对象分析方法的设汁过程,并以“心电记录仪”为例给出用UML语言为嵌入式系统建模的方法,结果表明：UML溶入了软件工程领域的新思想、新方法和新技术,其作用域不限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程．用UML为软件系统建立模型不但有利于交流,还有利于对软件的维护．     

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

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