基于UML和MVC的精品课程网站设计

使用UML并结合MVC新方法设计精品课程网站,用UML用例图做需求分析,用UML类图进行系统静态设计,用UML顺序图进行系统动态设计,用MVC组件图设计系统总架构,通过PHP语言实现网站系统。用UML和MVC设计的精品课程网站逻辑清晰、容易实现、便于维护、具有可重用性     

基于UML的城市污水处理系统的建模研究

利用Rational Rose工具创建UML模型,以城市污水处理过程为建模对象,从软件开发的整体高度,再现污水处理过程的框架及其步骤,为此,进行了用例图、活动图和时序图的建模分析设计,用于辅助研发污水处理仿真软件。同时介绍了UML在实际软件开发流程中的应用,最后完成了污水处理仿真软件的框架设计和开发。     

基于云计算的机房小帮手系统的UML软件建模

本文利用UML来构造基于云计算的机房小帮手分析与设计方法。包括使用UML用例图来做用例模型,用UML类图来做分析模型,用UML活动图和顺序图来做设计模型。     

基于UML的通用在线考试系统的分析与设计

本文讨论了面向对象技术的基本概念和UML建模语言,分析了通用在线考试系统的总体功能结构,结合软件工程和面向对象技术,设计了基于UML用例图、类图和活动图的通用在线考试系统模型,并运用UML的时序图描述了教师组织考试的工作流程。通过通用在线考试系统开发实例,介绍了如何应用UML的方法设计和开发软件模型。     

基于UML的网上考试系统建模

对UML产生的背景及其基本模型进行了阐述。在对网上考试系统进行分析的基础之上,设计了基于UML用例图、类图、顺序图和协作图的网上考试系统模型,这对后期系统的开发和维护起到了很好的效果。     

一个基于UML顺序图的场景测试用例生成方法

UML顺序图是基于UML开发的软件设计模型的重要组成部分，它描述了软件系统的动态行为，是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于UML顺序图的场景测试方法，它以UML顺序图为主要测试模型，结合UML状态图和类图生成所有的测试场景，最后使用范畴一划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例，用于测试该场景中对象之间的交互。由于UML已广泛用于软件分析和设计阶段，通过UML模型生成测试用例可充分利用已有的设计结果，减少测试阶段所需的费用，对于已使用UML的工业界有着重要的意义。     

基于UML的人力资源管理系统的建模

采用面向对象方法,基于UML建模技术对人力资源管理系统进行分析与设计.通过用例图、类图及序列图等UML表示法工具分析设计了人力资源管理系统的静态模型和动态模型,完成了系统开发的分析、设计阶段的工作,并探讨了基于UML的系统建模方法及运用面向对象方法进行系统开发的优势.     

UML模型向ER模型映射方法研究

随着面向对象技术在关系数据库的应用,用传统ER图分析和设计数据库变得愈加不便,而且ER图与UML共存,不利于开发人员交流和对开发过程的管理.为了将UML技术与关系数据库技术相结合,针对UML模型与ER模型的转换过程,提出了包括类图到表的映射策略及类图之间的几种关系在关系数据库中的实现.结合实例"图书管理系统",具体说明UML模型与ER模型映射方法,为数据库实体关系设计提供了一种新的途径.     

基于UML的教务系统学生端的分析与设计

随着面向对象技术的发展,面向对象的可视化建模语言UML也得到越来越多的应用,在对面向对象及UML建模的相关概念做了简要介绍的基础上,较详细分析了UML建模的几种视图的特点和功用,针对学校教务管理系统的学生端的开发,在分析前期需求的基础上,利用UML进行了系统建模的分析和设计,使用Rational rose软件从不同侧面设计出用例图,顺序图和活动图,从而为系统的开发和实现提供了实施依据.     

基于UML的安防监控终端系统的分析设计

通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型。在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性。     

一种从UML模型到可靠性分析模型的转换方法

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.     

基于UML的软件使用模型生成技术研究

软件可靠性测试是高可靠软件质量保证的重要过程，而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准，在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型，如用例图、顺序图、活动图，可以生成软件使用模型，进而可据此产生测试用例。     

基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。     

Timing consistency checking for UML/MARTE behavioral models

UML/MARTE model-driven development approaches are gaining attention in developing real-time embedded software (RTES). UML behavioral models with MARTE annotations are used to describe timing behaviors and timing characteristics of RTES. Particularly, state machine, sequence, and timing diagrams with MARTE annotations are appropriate to understand and analyze timing behaviors of RTES. However, to guarantee software correctness and safety, timing inconsistencies in UML/MARTE should be identified in the design phase of RTES. UML/MARTE timing inconsistencies are related to modeling errors and can be hazards throughout the lifecycle of RTES. We propose a systematic approach to check timing consistency of state machine, sequence, and timing diagrams with MARTE annotations for RTES. First, we present how state machine, sequence, and timing diagrams with MARTE annotations specify the behaviors of RTES. To overcome informal semantics of UML/MARTE models, we provide formal definitions of state machine, sequence, and timing diagrams with MARTE annotations. Second, we present the timing consistency checking approach that consists of a rule-based and a model checking-based timing consistency checking. In the rule-based timing consistency checking, we validate well formedness of UML/MARTE behavioral models in timing aspects. In the model checking-based timing consistency checking, we verify whether timing behaviors of sequence and timing diagrams with MARTE annotations are consistent with the timing behaviors of state machine diagrams with MARTE annotations. We support an automated timing consistency checking tool UML/MARTE timing Consistency Analyzer for a seamless approach. We demonstrate the effectiveness and the practicality of the proposed approach by two case studies using cruise control system software and guidance and control unit software.     

基于语义的UML类图的集成分类

在软件重用中,软件设计重用受到关注。UML类图被广泛应用于软件设计,UML类图的重用已经成为软件设计重用研究的重点。随着可重用的UML类图数量的不断增加,分类成为一项基础性工作。一个新的基于语义的UML类图的两级分类被提出。定义了类图之间的语义相似性度量,提出了行最大值捕捉算法获取中心类图来标识每个类别特征,基于改进的KNN[（K]邻近）算法构建了一个新的集成分类器E-KNN（ExtensibleKNN）。从分类质量和效率上验证了所构建分类器的有效性。     

On evaluating the layout of UML diagrams for program comprehension

UML class and sequence diagrams are helpful for understanding the static structure and dynamic behavior of a software system. Algorithms and tools have been developed to generate these UML diagrams automatically for program understanding purposes. Many tools, however, often ignore perceptual factors in the layout of these diagrams. Therefore, users still have to spend much time and effort rearranging boxes and lines to make the diagram understandable. This article presents key criteria and guidelines for the effective layout of UML class and sequence diagrams from the perspective of perceptual theories. Two UML tools are evaluated to illustrate how the criteria can be applied to assess the readability of their generated diagrams. Kenny Wong is an Associate Professor in the Department of Computing Science at the University of Alberta. His main areas of research include software comprehension, evolution, and visualization. This research includes building, using, and evaluating integrated environments for reverse engineering, and devising strategies to understand and evolve diverse software systems. He is General Chair of the 2007 International Conference on Program Comprehension in Banff, and Program Chair of the 2008 International Conference on Software Maintenance in Beijing. Dabo Sun is an M.Sc. student in the Department of Computing Science at the University of Alberta. His research interests include program comprehension, software visualization, and end-user software engineering. He has assisted the teaching of courses in software engineering and web information systems. He also has been working as a software engineer on developing and maintaining industrial software systems.     

一种UML 软件架构性能预测方法及其自动化研究

软件性能需求作为软件质量需求的重要组成部分,已受到人们极大的重视.而只在软件开发周期后期才重点关注软件性能需求的传统软件开发方法,将给开发者带来高风险和高成本等后果.如果能在软件开发周期的早期对软件系统性能进行预测,可以提前发现软件系统架构存在的性能瓶颈,并找出可能的优化方案,对各种设计方案进行比较以得出最优的软件系统架构.研究了一种基于模型的UML 软件架构性能预测方法:该方法选取软件架构设计中的UML 用例图、活动图和构件图,并引入构造型和标记值,将它们扩展为UML SPT 模型;进而,通过转换算法将UML SPT 模型转换为排队网络模型,该算法可处理同时包含分支节点和汇合节点的UML 模型活动图;最后,利用频域分析理论求解排队网络模型,以得出性能参数及性能瓶颈.同时介绍了UML 软件架构性能自动化工具的设计方案,并给出了软件架构性能预测实例.     

UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

UML已经成为建模语言的事实标准，如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战．为了从UML设计模型中的活动图直接生成测试用例，给出了UML活动图的形式化定义和灰盒测试方法．该方法首先分析UML活动图上的所有执行路径（每条路径称为一个测试场景），然后根据测试场景中的节点和转换所代表的活动及其输入／输出变量、相关约束条件等生成测试用例．并根据该方法实现了一个自动生成测试用例的工具UMLTGF，它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例．该工具能够提高软件测试的效率，降低测试成本．     

基于PDA的生猪溯源管理系统对象模型设计

采用面向对象的软件工程方法对基于PDA的生猪溯源管理系统进行建模,通过用例图、类图、协作图和状态图的设计,用统一建模语言UML实现了对系统对象的建模。该面向对象的模型为基于PDA的生猪溯源管理系统的实现提供了稳定性好、可重用性高、适应性强、易于维护的软件蓝图。