UML建模在办公自动化(OA)系统设计中的应用

UML是一种面向对象的可视化图形建型语言,通过不同的模型从不同的角度对系统的需求分析建模,使软件开发人员能方便通信并准确合理地进行设计。本文介绍了UML的概念、OA系统的基本功能以及UML在OA系统设计中的应用。     

UML建模在办公自动化（OA）系统设计中的应用

UML是一种面向对象的可视化图形建型语言，通过不同的模型从不同的角度对系统的需求分析建模，使软件开发人员能方便通信并准确合理地进行设计。本文介绍了UML的概念、OA系统的基本功能以及UML在OA系统设计中的应用。     

UML模型与软件测试

UML不仅支持面向对象的分析和设计,而且支持从需求分析开始的软件开发的整个过程,这为UML引入到面向软件测试中提供了可能.随着UML模型的广泛使用,基于UML模型的软件测试越来越受到人们的关注.通过系统设计阶段的UML模型生成测试用例,可充分利用已有的设计结果来减少软件测试的总成本,对于已使用UML的工业界有着重要的意...     

UML顺序图的自动验证

UML顺序图反映了系统中并发对象之间的消息交互及顺序,在软件建模中占有重要地位。该文对UML顺序图模型的自动验证方法进行了研究,在把UML顺序图转换为Promela语言后,使用模型检验器SPIN来验证系统设计模型是否满足某些关键性质需求。为了加强该方法的适用性,采用可扩展的标记语言XML文件格式定义顺序图模型的外部表示形式,该表示方法遵从OMG的XMI标准,从而使验证过程适用于不同的UML建模环境。     

UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。     

基于UML的研究生管理系统测试策略研究

统一建模语言UML是一种描述能力强大并且涵义直观的标准建模语言。本文在介绍使用统一建模语言(UML)的各种模型图进行系统框架设计的基础上,分析了对应于不同模型图,在软件测试中相应的测试策略,最后讨论了未来可以研究的方向。     

UML在高校科技成果管理信息系统中的应用

主要介绍了应用面向对象的UML建模技术,构建MIS系统——高校科技成果管理信息系统的应用,详细介绍了运用UML构造系统模型的过程。     

电梯仿真设计的UML实现

介绍了统一建模语言 UML的基本知识 ,并利用 Rational Rose分析、设计了电梯的仿真模型 ,并给出了电梯仿真中有关类的设计和 UML框图     

从一个用例看UML模型的多视角性

作为一种可视化建模语言,每组不同的UML视图都有它的局限性,因而有时需要多视角描述.本文选择了成人教务管理系统的一个用例,从不同角度对其进行动态建模,以体现UML模型的多视角性并比较各种模型的特点.     

基于关系模型的UML类图一致性检验

UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性。     

UML和CPN在企业销售信息管理系统开发中的应用

UML是标准的统一建模语言，但缺乏合适的工具对其所建立的模型进行严格定量的分析。CPN(有色Pctri网)是严格定义的数学对象，可以模拟和检验用UML描述的系统对象的行为属性。该文以企业销售信息管理系统为实例描述了通过UML进行建模的过程，并用CPN对所建立的模型进行了分析和检验。     

基于UML活动图化简方法的工作流模型校核研究

针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术,在UML活动图到活动超图映射基础之上,对活动超图建立化简规则,通过化简实现工作流模型校核。实践证明此方法有效。     

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能。SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力。鉴于上述特点,通过从UML类图图元中抽取语义,用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现。根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题。     

Test adequacy criteria for UML design models

Systematic design testing, in which executable models of behaviours are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code. In this paper a technique for testing executable forms of UML (Unified Modelling Language) models is described and test adequacy criteria based on UML model elements are proposed. The criteria can be used to define test objectives for UML designs. The UML design test criteria are based on the same premise underlying code test criteria: coverage of relevant building blocks of models is highly likely to uncover faults. The test adequacy criteria proposed in this paper are based on building blocks for UML class and interaction diagrams. Class diagram criteria are used to determine the object configurations on which tests are run, while interaction diagram criteria are used to determine the sequences of messages that should be tested. Copyright © 2003 John Wiley & Sons, Ltd.     

浅述UML及其应用

近年来UML在世界范围，已经逐渐成为面向对象技术领域占主导地位的标准建模语言。但在我国目前还处于UML应用的初级阶段。本文对UML产生的背景及其基本概念进行阐述，并结合实例进一步描述UML建模的方式，最后对UML的发展趋势进行预测。