UML2.0扩展机制分析

在经过4年之久的修订过程之后,OMG通过并采纳了UML2.0.其中,UML的扩展机制是在UML2.0的提案需求中提出要做重大修订的部分之一.为了能够迅速了解UML引入扩展机制的必要性、UML1.X中扩展机制存在的问题以及UML2.0中扩展机制的新动向,分析了UML2.0扩展机制的必要性以及修订的原因,简要介绍了UML2.0的两种扩展机制,即一阶扩展机制(基于元模型的扩展机制)和轻量级的扩展机制(基于外廓的扩展机制),以及两种扩展机制的比较.最后对UML2.0的扩展机制进行简要的评述与展望.     

软件开发架构——MDA

详细阐述了MDA的架构和支持MDA的相关标准并介绍了从方法学的角度如何看待MDA,明确指出:MDA是一种软件开发方法,是由OMG定义的基于UML、MOF及其它相关工业标准的软件开发框架,MDA鼓励在软件开发过程中有效地使用系统模型并支持在开发类似系统时进行模型复用。同时关注了MDA在不同的抽象层次上定义的模型及在不同的抽象层次之间定义的转换。     

软件开发架构——MDA

详细阐述了MDA的架构和支持MDA的相关标准并介绍了从方法学的角度如何看待MDA,明确指出:MDA是一种软件开发方法,是由OMG定义的基于UML、MOF及其它相关工业标准的软件开发框架,MDA鼓励在软件开发过程中有效地使用系统模型并支持在开发类似系统时进行模型复用。同时关注了MDA在不同的抽象层次上定义的模型及在不同的抽象层次之间定义的转换。     

UML状态图的形式化

为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．     

集成UML和CORBA构建分布式供应链管理系统

供应链系统的动态性、分布性和复杂性要求开发出有效的分布式供应链管理系统。简要介绍了 UML面向对象建模技术和通用对象请求代理体系结构 ( CORBA)技术 ,提出了一种基于UML和 CORBA技术的分布式供应链管理系统的集成开发方法 ,描述了运用 UML对供应链建模的 3个基本步骤 ,以及 UML到 IDL的映射。最后 ,以库存系统的开发为例 ,展示了这种集成开发方法。     

UML在本体开发中的应用

分析了将UML运用于本体开发的原因，介绍了一种将OWL本体通过UML类图向面向对象语言转换的方法，讨论了OMG与W3C标准转换存在的问题，提出了改进的方向。     

Modeling Workflow Using UML Activity Diagram

An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed.     

集成CORBA和UML的分布式应用开发

简要介绍了采用通用对象请求代理体系结构（CORBA）技术的分布式应用系统开发过程和基于UML的面向对象建模技术,提出了一种以基于UML的面向对象建模技术和CORBA技术为基础的分布式应用的集成开发方法,可以将系统分析、设计和实现三阶段有机、无缝地集成,以方便迅速地开发出开放、可重用和可扩展的分布对象系统,并指出了该开发方法中的2个关键问题：UML到OMG IDL的映射,以及对象在系统中的分布。最后,以虚拟银行系统的开发为例,展示了这种集成开发方法,验证其可行性和优点,并指出其局限性。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

UML 2.0的新特性以及在选课系统中的应用

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

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

A UML profile for framework modeling

The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.     

锥形砂轮齿轮磨削齿廓修形方法研究与改进

对近几年国内外锥形砂轮齿轮磨床上齿廓修形方法进行了研究,提出了“假想滚动圆”的设想,及以此设想为基础的齿廓修形新方法。文章还对用机床相对运动的变化实现“假想滚动圆”时修形参数与机床上相对运动参数之间的换算,以及实施参数换算的机电一体化技术作了扼要介绍。新方法经生产实践检验证实,大大提高了生产效率和加工质量的稳定性。经济效果也很显著。     

一种基于UML模型的系统测试方法

针对基于用UML开发的软件系统的用例之间的复杂联系．设计了一种通过UML活动图表示UML用例图来对UML用例图中各个用例之间的联系进行描述，并对其中的用例进行扩展；在此基础上通过对UML活动图中用例遍历的系统测试方法．     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

面向组件的软件测试技术

使用组件,特别是第三方商业组件集成开发而成的软件越来越多,面向组件的测试技术的需求越来越大。UML是目前软件开发业应用最广泛的可视化标准建模语言,它能应用于整个软件开发过程的各阶段。UML的许多特点与面向组件的软件测试需求相吻合。基于UML的软件测试技术在对面向组件的软件开发具有广阔的研究和应用前景。     

基于UML软件测试技术的比较研究

近年来UML图广泛应用于软件开发的各个阶段，特别在软件测试领域，基于UML软件测试技术的研究成为学术热点．本文对基于UML的软件测试技术进行了详细地比较和研究，并且给出了组件工程中UML软件测试技术的几个可行的研究方向．     

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法（简称EPN）将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统。由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模。同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真。本文主要对列车控制系统中的连挂和解编过程进行建模。通过模型验证采用EPN分析系统的有效性和便捷性。     

GML应用建模方法的新思路

GML语言是开放地理信息系统联合会制定的基于XML的空间数据编码规范,对于GIS互操作的研究有重要的参考价值．本文首先介绍了GML语言的特点及应用,然后探讨了从建立UML模型开始,自动生成GML模式的一种可能的建模方法．