UML时间顺序图的自动验证技术

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.     

基于AUML面向Agent的DDoS攻击模型

利用AUML(Agent UML)语言对DDoS攻击进行建模研究。以用例图描述攻击责任分配;以Agent类图描述系统的静态模型;以时序图和活动图描述系统的动态行为模型。     

系统开发中的UML建模应用

本文探讨了系统开发中基于UML进行面向对象的系统分析及设计方法,包括静态建模和动态建模：提出了一种实用的基于UML的需求分析及其建模方法,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,以应用例图表达系统需求：讨论了需求分析及其建模的过程概念。     

基于层次自动机和模型检测的UML状态图检测方法

UML(统一建模语言),是一种可视化的标准建模语言,主要应用于设计和分析阶段。UML模型是否正确反映用户需求成为至关重要的问题。因为状态能够完整的描述一个系统的行为,所以对UML模型进行检测的主要对象是状态图。提出一种以基于EMC[5](显示模型检验)的模型检测方法SECM(状态图显示模型检过程)。为消除状态图的复杂性,将状态图转化为HA(层次自动机)。然后,用Kripke结构对层次自动机进行形式化描述,用时态逻辑描述系统的性质。对状态进行记,判断每个状态是否满足相应的性质,若不满足给出一个不满足性质的状态序列,从而改进。     

UML模型与Java语言之间的代码映射关系分析

UML是在多种面向对象建模方法的基础上发展起来的建模语言,它不是一门程序设计语言。但却可以将UML模型映射为多种程序设计语言代码,也可以使用逆向生成器工具将程序源代码转换为UML模型。本文浅析了类图、状态图、组件图三种模型与Java语言之间的代码映射关系。     

基于UML的网上图书销售系统的建模与设计

运用基于UML的面向对象分析方法,按照软件工程的思想,借助于统一建模语言,使用Rational Rose为建模工具对网上图书销售系统进行建模设计,利用表示系统静态特征的UML类图、用例图和描述系统动态行为特征的时序图对其进行详细描述。     

基于UML的面向对象设计

UML作为一种面向对象的建模方法,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,以用例图表达系统需求,讨论了需求分析及其建模的过程概念。一方面可方便地同大多数面向对象的设计语言链接;另一方面可运用到除软件设计以外的其他方面,如金融商务、信息系统、高校开放式学籍管理系统、甚至是面向对象设计语言的开发等。     

基于UML的机车检测系统软件开发

检测系统模型是构建机车检测系统软件的关键。在分析检测系统建模和面临问题的基础上,使用面向对象的、可视化的统一建模语言UML,建立了检测系统软件模型,开发了基于UML模型的机车检测系统。     

光电干扰系统基于UML的C3I系统软件建模

将C^3I系统实时获取信息、传输信息、处理信息进行态势分析与估计,然后自动决策应用于光电干扰系统软件设计,能大幅度提高光电干扰系统的效能,从而提高战区C^3I系统的攻击与防卫效能。首先描述光电干扰系统的功能需求,利用C^4ISR与UML体系结构的高层处理过程提出UML建模的框架;接着应用UML遵循RUP的核心思想和基本原则对光电干扰系统软件进行了建模,逐步进行了需求收集、系统分析与系统设计,在每个过程均用一系列UML图来形象化地表示;最后提出了在建模过程中应注意的问题。利用已成为事实上标准并且符合人们思维习惯的UML进行系统建模,开发周期相对短,产品较丰富并且保证了系统开发和维护人员对系统的理解,系统分析、系统设计以及系统维护的一致性,更重要的是模型建立后可直接编程实现。     

网络印刷服务平台功能模型的分析及建立

对网络印刷服务平台的功能需求进行了分析,并利用UML建模法为其建立了功能模型。分别选取UML用例图描述了网络印刷服务平台的静态功能,以UML时序图描述了网络印刷服务平台的动态业务流程,二者共同构成网络印刷服务平台的功能模型,为今后网络印刷服务平台的开发提供了依据。     

基于UML的餐饮预订系统的需求分析和建模

阐述UML的基本概念、特点和作用,从对餐饮预订系统的需求调研入手,应用面向对象的方法 ,基于UML对系统进行了需求分析与建模。介绍需求捕获、需求分析和需求描述的完整过程。其中,运用了用例图、类图和活动图,描述了建模的主要过程。最后介绍系统的实际应用情况,并提出进一步的优化和改进建议。     

基于UML的仓储管理系统的分析与设计

统一建模语言UML是面向对象软件开发的重要技术。UML可以对大型复杂的系统的各项成分可视化,可以并创造系统模型,以及建立各种所需的文档。以仓储管理系统为例,介绍UML在软件工程方面的应用。     

基于图文法的产品族配置及其建模研究

根据产品族生成机理与图语言生成机理的相似性,提出了一种产品族的图文法表达方法,并根据产品族的图文法模型构建了基于图文法的产品族配置系统的体系结构.用UML对基于图文法的产品族配置系统进行用例建模、静态建模、动态建模以及编码与部署分析,从而为系统的具体开发做准备.     

模具特许连锁制造网格体系的物流系统研究

分析了模具特许连锁制造网格体系之物料供应系统的特点和功能要求,运用holonic制造系统的基本原理,参考PROSA模型的思想方法,结合具体企业的应用实际,提出了基于holon的物流系统基本模型(Holonic Logistic System,HLS),对HLS的三类基本holon做了详细分析;运用HLS原理对特许连锁制造体系的物流系统进行了建模分析,用UML活动图对其运作机制作了说明,并用实例验证了该模型与控制机制的正确性。     

基于UML技术的课程网站系统的开发

首先介绍UML(Unified Modeling Language)建模语言的基本内容,包括其优缺点、语法语义和应用范围,并以网站论坛系统开发过程中探讨以UML,技术中心的开发方式,通过对开发课程网站论坛系统的需求分析,详细说明UML技术在可视化建模中的核心作用。     

基于工作流的集成平台中组织的UML建模

在分析了当前制造企业组织结构和应用系统软件产品的组织模型的基础上,并结合工作流管理联盟(WfMC)定义的参考模型中对流程参与者的定义,应用统一建模语言(UML),从集成的角度和高度建立起了有效的UML企业多应用集成平台系统的组织模型.该模型体现了很多家企业对原有应用系统集成中组织人员管理上的需求.其最大的优点就是不受企业原有应用的内部逻辑和组织人员分配的影响,能有效地把企业各个部门相关人员统一起来管理,使他们能协同地工作.     

UML在实验教学智能咨询系统开发中的应用

UML（Unified Modeling Language)是一种面向对象的标准建模语言。概述了UML的模型种类、基本特征、开发过程，然后描述了如何运用UML进行“实验教学智能咨询系统”的建模，包括需求分析，特定领域分析，结构设计，详细设计，实现，测试和配置。     

基于UML和SystemC的嵌入式系统集成开发方法的研究

针对嵌入式系统的特点，提出了一种基于UML和SystemC的集成开发方法。在这种方法中，UML用于嵌入式系统的分析与设计，SystemC用于建立软硬件协同仿真模型。UML模型到C 语言自然而直观的映射提供了连接系统分析阶段和实现阶段的桥梁，而通过SystemC模型的执行可以对系统的高层分析、抽象和定义提供尽可能早的验证。     

UML时间顺序图的实时系统建模及验证

实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.     

UML在软件度量系统设计中的应用

在软件的开发过程中引入软件度量来规范开发流程、保证软件质量,实现软件产品工程化、标准化的目标,利用UML(Unified Modeling Language,统一建模语言)面向对象的分析方法和设计思想,对软件度量系统的功能、系统架构和数据库模型等方面进行分析。