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

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

中小型印刷企业采购管理信息系统设计

利用UML建模工具对中小型印刷企业采购管理信息系统进行了系统设计.采用活动图进行系统动态建模,通过定义类和类图进行了系统静态建模,并通过定义数据的存储结构和存储过程对数据库进行设计.     

系统开发中的UML建模应用

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

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

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

印刷企业供应物流信息系统中库存子系统的分析与设计

利用UML建模工具对印刷企业供应物流信息系统中库存管理子系统进行了分析与设计.采用用例和用例图进行系统分析,采用顺序图和活动图进行系统动态建模,通过定义类和类图进行了系统静态建模,分析了数据的存储结构并通过定义SQL SERVER数据库中的过程存储进行数据库的设计.     

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

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

基软件工程的UML建模技术分析

分析UML的概念,特点以及组成,指出了UML在应用中的特点。通过UML可以很好的应用其图形化的特征,辅助进行系统的建模与分析,介绍两种开发应用的建模工具,最后指出应用学习UML的难点,使用UML应该注意的地方,可以起到很好的借鉴作用。     

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

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

基于UML的社区警务管理系统的需求分析

UML(Unified Modeling Language)是用于开发系统的可视化建模语言,研究目的是使用UML对社区警务管理系统进行系统建模,期间也结合UP(统一过程)作为方法论。针对本系统软件开发中的需求分析阶段,分析出一系列的功能需求模型。首先确定系统的用例,然后在此基础上从静态和动态两方面分别建立时序图和活动图的系统模型。     

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

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

基于UML的学生信息管理系统建模

本文介绍了UML的建模过程及建模特点,首先描述了高校学生信息管理的需求分析及功能模块划分,然后重点以学生的学习管理模块为例,建立了系统主要的用例图、类图、顺序图。     

中小型印刷企业采购管理信息系统分析

利用UML建模工具对中小型印刷企业采购管理信息系统进行了分析.通过定义系统中的角色、用例和用例图对中小型印刷企业采购管理信息系统进行了分析.     

协同环境下产品开发过程建模的研究

对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基于UML活动图和Petri网的分层建模方法。通过用UML活动图对产品开发全局过程进行描述,确定了过程视图和其他派生图之间的关系,提出了视图间的组织结构方法。同时通过对具体生产环节的Petri网描述,达到使管理人员对局部进行有效控制的目的。     

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

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

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

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

基于UML的系统分析方法

探讨基于UML进行面向对象的系统分析及设计方法,包括静态建模和动态建模;提出一种实用的基于UML的需求分析及其建模方法.并以高校在线考试系统的开发作为案例示范.     

浅析基于UML语言的数据库建模技术

主要对UML的建模思想与方法、建模策略和步骤进行初步的研究,通过一个简单的电子商务系统进行实际建模与实现,实现建模过程从逻辑到物理的演化过程。在对UML建模的分析的基础上通过运用PowerDesigner工具和UML语言,实现一个简单的电子商务系统的分析与设计建模。     

基于UML的税收管理员工作平台系统建模研究

税收管理员工作平台是税务系统管理的一个重要环节，是税务综合业务管理系统到末端的延伸。在介绍了系统建模语言UML的基础上，讨论了税收管理员工作平台建模过程中，使用UML语言进行系统建模的方法和步骤，并使用Rational Rose工具作为系统建模环境。     

基于UML的面向对象设计

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

基于UML的津贴补贴管理系统分析

介绍了UML统一建模语言的内容、特点和应用,以津贴补贴管理系统为例,通过对系统进行需求分析和设计,建立了系统的用例视图、静态视图和动态视图,归纳和总结了使用UML对应用系统进行建模过程和方法。