UML顺序图的形式化描述

1 引言统一建模语言UML(Unified Modeling Language)是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模。然而,UML却是半形式化的——其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的。由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性。     

基于扩展UML的实时系统建模方法

UML是面向对象的标准建模语言，为适应实时系统开发的特殊性，Rational公司对UML进行了扩展，即实时UML(UML-RT)。介绍了实时UML，并描述了一个使用Rose RealTime开发工具对移动电话与基站的连接建模的一个实例。     

一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。     

UML中用例的捕获和描述

本文根据UML中用例的概念和特征，讨论了一个基于活动者驱动捕获用的方法。这种方法使系统分析，设计、实现之间形成了一个良性循环，同时结合一个简单的实例给予说明。文章最后讨论了用例的描述方法。     

基于UML的装备体系仿真描述探讨

针对作战仿真中装备体系的状态难以实时描述的问题,提出了一种基于UML描述装备体系的方法.深入分析了利用UML对装备体系进行仿真描述的具体方法和步骤,对联合作战装备体系的逻辑体系结构和物理体系结构进行了描述,给出了装备体系静态描述以及联合作战中动态变化的描述,并在此基础上给出了装备体系的聚合描述.结果表明:利用UML进行装备体系仿真描述可准确反映装备体系的特性及其各个组成部分相互关系,描述过程完整、易于理解和操作.     

UML在事务流程描述方面的扩展

文章提出了可视化的基于事务流程的符号定义和描述方法,即单证流,控制流和数据流,三流合一的方法,用以扩展UML中的用例分析,以此推动特定行业的应用系统的需求描述和建模。     

基于SysML的无人侦察机需求描述方法研究

在装备论证与开发中,装备用户和研制设计人员间的需求描述往往难以沟通,造成研制工作的推迟和较大偏差.针对这种用户与研制方的需求交流障碍,借鉴SysML需求图建立武器装备需求描述的方法与步骤.主要分析了需求基本模型、需求导出模型、需求满足模型和需求验证模型等四类需求子模型.以无人侦察机需求为例,给出了基于SysML需求图对无人机顶层需求及其与设计参数之间的关系进行描述的方法.需求建模的结果表明,利用SysML需求图能够准确地对无人侦察机的需求进行描述,并且易于理解和操作.     

分布式SCADA系统的UML建模分析与设计

对一个分布式SCADA系统的控制中心的软件系统,运用面向对象的方法,采用UML作为建模语言进行分析设计,开发了分布式的、面向对象的、可维护性好的系统.研究了应用UML开发大型分布式SCADA系统过程中的一些关键策略.     

基于UML的面向对象的需求分析方法

统一建模语言UML是面向对象软件开发的重要新技术，本文阐述了UML的特点、UML的语言机制、并给出UML技术在软件需求分析过程中的应用。     

基于UML的作战仿真VV＆A过程形式化建模

可信性是作战仿真的生命线,对作战仿真的全生命周期进行校核、验证与确认（Verification,Validation and Accreditation,VV＆A）是确保其可信性的重要途径。建立合适的VV＆A过程形式化模型是开展作战仿真VV＆A过程研究的前提和基础。基于统一建模语言（Unified Modeling Language,UML）分别从用例、静态结构、动态行为及交互等方面对VV＆A过程进行形式化建模,建立了作战仿真VV＆A过程的用例、类图、活动图及顺序图模型,并给出相应的形式化定义。实践表明：作战仿真VV＆A过程形式化建模可以使VV＆A的描述规范化、标准化及形式化,便于不同领域人员的相互沟通与交流,以及VV＆A工程化应用,促进了VV＆A工作顺利开展。     

基于UML的迭代式软件开发过程

UML（Unified Modeling Language）作为第三代面向对象开发方法,它是一种定义良好,易于表达,功能强大,且适应广泛的建模语言。Rational Unified Process（RUP）是一种软件工程方法,它提供了一种严谨的途径来分派开发组织的任务和职责。它的目标是确保在预定的时间和预算内得到一套的最终用户所需要的高质量的软件产品。文章讨论了依据RUP利用UML建立应用系统模的方法。     

UML模型检测方法的研究

统一建模语言（UML）是设计和分析软件系统最常用的方法，如何保证UML模型满足某些特性是一个非常重要的问题，而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器（SPIN）对UML模型进行检测的方法。首先对UML模型进行形式化描述，使用层次自动机来描述状态图，然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA，使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束，通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。     

基于描述逻辑的带依赖属性UML类图

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。     

基于UML的软件形式化需求分析与验证

针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言（UML）模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。     

UML在Web组件建模中的应用研究

基于Web的应用越来越受到人们的欢迎,对Web应用进行有效的建模成为Web应用成功与否的重要因素之一。统一建模语言(UML)是一种用于可视化、说明、构建并文档化软件系统的标准建模语言,该文首先简要介绍了UML的产生背景以及UML的各种框图,在此基础上提出了利用UML的扩展构造基于Web的应用程序。     

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性.     

UML建模在高校社团管理系统中的应用

利用UML建模工具对高校社团管理系统的功能模型进行详细分析,给出面向对象系统的分析方法和模型,为应用UML建模技术进行面向对象软件开发提供参考范例和借鉴。     

UML在游戏系统分析与设计中的应用

游戏的开发迫切需要设计一个具备通用性、可复用性以及可扩展性的高性能游戏引擎。运用面向对象技术,基于统一建模语言（UML）、设计了应用于第一人称射击类游戏的三维游戏引擎。在确定系统开发目标的基础上,对系统进行了需求分析及用例建模,并完成了作为静态结构的类图和包图以及作为动态行为的顺序图和协作图的设计,最终进行了系统实现。     

基于UML的面向对象软件设计

UML是一种通用的可视化建模语言,用于对软件进行描述、可视化处理、构造和建立软件系统的文档。使用UML进行软件设计能够比较显著地提高软件的开发效率,保证软件的开发质量。以中华童装网的开发为例,介绍了一种使用面向对象的UML软件设计方法。     

基于UML的船舶阻尼数字化敷设系统需求分析与架构设计

对阻尼敷设体系进行了分析,提出了阻尼数字化模拟敷设系统,并探讨了利用统一建模语言(UML)对系统进行需求分析与架构设计的方法:首先利用UML提供的相关视图,建立了一种清晰明确的功能需求分析模型,包括功能需求描述、需求模型、静态模型和动态模型.其次在目前常见的三层体系架构之上,利用UML的包图对系统进行了多层体系架构设计.最后对系统进行了应用测试,结果表明该方法能够准确描述系统需求,并可以保证系统从需求到实现的转化.