UML2.0的新特性以及在选课系统中的应用

本文介绍了UML2.0规约的修订过程和一些新特性,并且以高校的选课系统为例子,描述了UML2.0中的活动图,用况图,类图,顺序图以及通讯图相对于UML1.0的改进。最后还对UML的未来发展做了客观的分析。     

UML活动图的形式语义及分析

UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。     

运用UML进行网络教学平台建模的一般过程

UML是一种有力的面向对象的可视化建模工具,可用于描述和构造软件的体系结构。文章对使用UML进行网络教学平台建模一般过程进行了描述,并给出了系统需求模型(静态结构模型和动态行为模型)的详细UML描述。最后对网络教学平台设计与实现中的几个重要问题做进行了讨论。     

UML类图中面向非功能属性的描述和检验

为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属     

Use Case建模在电厂管理系统中的应用

UML是面向对象技术的一个重要应用，其中最重要的是Use Case建模。该文首先介绍了UML的基本内容，然后结合实际工程的分析设计过程对利用将Use Case模型分为企业模型和系统模型来建立Use Case模型做了详细的描述。     

UML2．0类图的一种形式化描述方法

UML类图是根据系统中的类，以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足，我们提出了基于时序逻辑语言XYZ／E来表示类图形式化语义的方法。通过对UML2．0类图元素及其特点的分析，找出类图元素的形式化描述规则，利用转换法实现了对UML2．0类图的XYZ／E形式化描述。     

基于UML的信息系统分析与设计

UML是一种标准的建模语言,本文就是以开放实验室管理信息系统的分析与设计为例,简要描述了利用UML进行面向对象的分析和设计的过程。此文首先阐述了UML的基本概念,面向对象的基本思想,UML的内容优点及应用。其次本文围绕开放实验室管理信息系统的开发过程,对UML在管理信息系统分析与设计过程中的应用做了简要的介绍。     

基于UML的快递系统建模

描述了一个用UML作为建模语言的快递系统的模型,分析了快递系统的需求。对基于UML的快递系统建模进行了探讨。UML具有定义良好、可视化、可扩展和功能强大等优点,成为面向对象建模的事实标准。     

UML技术在实际工程中的应用

UML(标准建模语言)是面向对象技术一个重要应用,也是近代软件工程环境中对象分析和设计的重要工具。该文首先介绍了UML的基本内容,然后结合课题的分析设计过程对UML技术的具体应用做了详细的描述。     

通用型工业数据采集平台的设计与开发

本文从全新的角度提出数据采集平台的一般化模型及其描述.在分析和研究数据采集平台和标准的基础上,采用面向对象的方法作为建模方法.采用UML作为建模语言,在分析系统的基础上,用UML描述数据采集平台模型.基于UML的模型描述主要包含概念模型和基于角色的用例模型两个部分.     

基于UML的装备体系仿真描述探讨

针对作战仿真中装备体系的状态难以实时描述的问题,提出了一种基于UML描述装备体系的方法.深入分析了利用UML对装备体系进行仿真描述的具体方法和步骤,对联合作战装备体系的逻辑体系结构和物理体系结构进行了描述,给出了装备体系静态描述以及联合作战中动态变化的描述,并在此基础上给出了装备体系的聚合描述.结果表明:利用UML进行装备体系仿真描述可准确反映装备体系的特性及其各个组成部分相互关系,描述过程完整、易于理解和操作.     

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设计模式识别方法

随着模型驱动技术的逐渐成熟和广泛应用,大量反映程序结构、行为以及性质的模型产生于软件的开发过程中,并成为软件文档的重要部分保存下来。其中,尤以UML模型的应用最为广泛,也因此形成了通过理解UML模型来理解大规模、高复杂性软件系统的研究思路。对UML模型理解的一个难点是如何有效地从大量复杂的模型中,快速查找并定位具有一定结构特征的模型片段。幸运的是,设计模式的普遍应用为我们快速、高效地理解和定位模型提供了一条重要的线索。然而,随着技术的发展,设计模式数量在不断增长,其自身在应用中的结构也在微妙变化,这些都给相应查询和识别工具的开发带来一定的困难。文中从查询和匹配UML模型中特定结构的角度入手,利用UML自身特点设计相应查询算法,通过分析和理解设计模式的结构特征,从UML模型中查询相应的设计模式,以达到灵活和高效地理解软件系统的目的。     

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

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

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

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

Using service responsibility tables to supplement UML in analyzing e-service systems

This paper proposes using Service Responsibility Tables (SRTs) as a tool in analyzing e-service systems. First it discusses difficulties and deficiencies of using formal modeling languages such as UML in analyzing e-service systems. It proposes using SRTs as an informal language and lightweight analytical tool to be used by business professionals in analyzing e-service systems. SRTs are based on a service value chain framework but do not rely on abstract concepts and constructs, and therefore can be used by business professionals to supplement UML. We suggest a set of heuristics for transforming SRTs into two key UML diagrams, thereby illustrating how SRTs can be used as a bridge from relatively informal modeling by business professionals to formal modeling techniques for systems design and implementation by IT professionals.     

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

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

基于模型驱动架构的Web Services应用开发

从Web services的观点看，可以用MDA核心部件UML来精确描述商务信息，并且这种描述方法是与实现技术无关的。本文首先介绍了非形式化模型和形式化模型的不同之处，进而阐释了如何实现从商务信息模型到XML的映射以及从商业服务模型到WSDL的映射。     

统一建模语言UML述评

最近由美国Ｒａｔｉｏｎａｌ公司发起并与其它十几家公司共同的“统一模型语言”ＵＭＬ在ＯＯ领域受到广泛的关注。