基于BISON的 UML语法分析器设计

目前基于UML类图和状态图做面向对象软件测试方面已有不少研究，因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器，通过对UML文档的词法语法分析，实现了从UML文档中自动提取用于软件测试的信息，提高了软件测试效率。在VC6.0环境下对该分析器仿真，实验结果表明，软件能正确提取测试需要的信息。     

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

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

基于UML序列图的测试方法*

提出了一种基于UML序列图的面向对象类簇级测试的方法.这种方法根据序列图进行分析提取类交互信息和用户的输入数据生成测试用例,并根据序列图对代码进行插桩,构造测试模块;最后测试驱动器执行测试模块得到测试结果. 该方法也支持UML2.0 中为序列图添加的新特征.     

基于UML的CPN模型在软件测试中的应用

UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法,并根据该方法给出了自动化支持工具U2CPN的类图结构。     

用UML模拟对象模型

从分析传统开发方法的不适应性,提出克服传统方法缺点的新途径.UML是一种通用的标准的统一建模语言,支持从需求分析开始的软件开发全过程,UML中的图形标记,尤其适用于描述面向对象的软件设计.用面向对象方法开发软件,在任何情况下,对象模型始终都是最重要、最基本、最核心的.文中给出了一种用UML来模拟对象模型的有效方法,通过可视化建模,使软件设计工具发挥更大的效用,更好地提高模型的重用性.     

实时系统动态行为模型的一种形式分析方法*

提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。     

UML模型与软件测试

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

基于UML面向对象的办公信息系统设计与实现

UML是一种面向对象的建模语言，广泛应用于基于面向对象的软件开发过程中。本文以办公信息系统为背景，讨论了采用UML进行办公信息系统设计与开发的优势，并根据UML建模原理，分别建立了系统的对象模型、动态模型和系统功能模型，并完成了系统的开发与应用。     

扩展UML建模环境中对象关系的模型转换

大量的应用程序采用面向对象的结构,并需要在一个持久化的存储机构--关系数据库中存放和取回数据.面向对象和关系数据库这两种技术存在着阻抗不匹配,使用UML对两种模型进行转换可以减少这种不匹配.但UML对两者的模型转换存在着不足,文中提出了在UML建模环境中引入扩展对象图描述对象和关系的模型转换,简化了模型转换的步骤,使得模型转换的自动化程度更高.     

UML模型到COOZ规约的形式化转换

为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。     

UML状态机模型形式化验证技术研究

系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题.为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法.对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果.     

RATIONAL ROSE和UML在人力资源管理系统建模中的研究应用

本文采用了面向对象的分析方法，用ROSE和UML对人力资源管理系统分析与建模。通过静态和动态系统分析，以及多角度的系统描述，说明UML在系统开发设计中能加速开发进程，方便地集成现有信息系统资源。从而可以使人力资源管理系统具有适用性和扩展性。     

将UML模型转换成SDL模型的方法

提出了一种将UML模型转换成SDL模型的方法.UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便.但是,UML缺乏形式化语义,因此不能满足协议精确性的要求.SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它.在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点.通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换.     

An intermediate metamodel with scenarios and resources for generating performance models from UML designs

Performance analysis of a software specification in a language such as UML can assist a design team in evaluating performance-sensitive design decisions and in making design trade-offs that involve performance. Annotations to the design based on the UML Profile for Schedulability, Performance and Time provide necessary information such as workload parameters for a performance model, and many different kinds of performance techniques can be applied. The Core Scenario Model (CSM) described here provides a metamodel for an intermediate form which correlates multiple UML diagrams, extracts the behaviour elements with the performance annotations, attaches important resource information that is obtained from the UML, and supports the creation of many different kinds of performance models. Models can be made using queueing networks, layered queues, timed Petri nets, and it is proposed to develop the CSM as an intermediate language for all performance formalisms. This paper defines the CSM and describes how it resolves questions that arise in performance model-building.     

UML在TMN故障管理模块信息建模中的应用

统一建模语言UML是一种面向对象的建模语言,支持面向对象的软件工程,以其强有力的表达能力而倍受人们关注。文章分析了UML的建模机制及其特点,并运用UML作为OOSE的工具,对电信管理网系统进行面向对象建模,给出了TMN故障管理模块的应用实例。     

基于ASM扩展的活动图进行业务过程建模

为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin／Odell OOA／D方法，该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为，并且也适用于业务过程建模。但由于UML的语义是用纯文本的方式描述的，通常不够准确，故而此文提出了使用ASM扩展语义的活动图描述包含上述建模技术的业务过程。     

基于UML的车间制造过程信息化系统建模①

车间制造过程信息化系统是支撑车间制造过程运作的信息化平台,是制造企业管理决策与设备执行之间的信息桥梁,并兼有车间生产运作的信息化管理功能。采用面向对象分析设计方法,在分析了车间制造过程信息化系统的业务流程的基础上,使用UML建模工具建立了概念模型、用例模型、动态模型和物理模型。     

UML动态模型在关系数据库操作中的应用

UML作为一种面向对象的标准建模语言,在关系数据库系统的建模领域也得到了广泛的应用.用UML为关系数据库模式建立的模型比ER模型表达力更强,但目前的UML数据库建模技术主要强调静态模型.概述了如何使用UML动态建模方法为关系数据库操作建模.在建立的框架的基础上可为原子数据库操作建模,进而为更复杂的数据库操作建模.这种方法将为用户和开发者提供对整个系统的一个统一视角,将UML的强大功能扩展到数据库领域.     

基于UML的电力制图软件建模

文章介绍了UML(Unified Mocleling Language)及其建模工程,通过电力制图软件的实例,探讨了UML建模设计,给出了标准的UML视图,并说明了软件设计开发中应注意的事项。     

UML建模过程及在需求分析中的应用

UML是建立系统模型和分析业务处理流程的强有力的工具,从不同的角度描述系统,帮助分析人员弄清楚系统“做什么,谁做,如何做,何时做,以什么顺序做”。描述使用UML的需求建模过程,并说明在稽查征费系统需求分析中的应用、获得的经验及注意事项。