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

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

基于UML的仓储管理系统的分析设计

统一建模语言(UML)是面向对象分析和设计过程中重要的建模工具,适用于软件生命周期的各个阶段.以仓储管理系统为例,采用面向对象的方法,介绍UML的建模机制;叙述了仓储管理系统的用例建模、动态建模的过程,详细描述了基于UML该系统的用例图、活动图、顺序图、协作图.     

基于UML的系统需求分析

UML(Unified Modelling Language)是面向对象方法建模的语言标准工具,在系统建模过程中应用很广泛,在UML技术指导下,针对软件开发过程中的需求分析阶段,提出了一种结构清晰的功能需求分析模型,在系统用例图的基础上,建立类图和时序图,从静态和动态不同侧面表达系统模型,迭代的建模过程保证了模型的一致性,一个实例详细描述了系统功能需求分析建模的过程.     

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

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

UML用例建模的分析及使用

用例建模是UML建模的基础部分,其主要功能是用来表达系统的功能性需求或行为。该文以实例说明用例建模中用例图、用例描述部分的设计过程。     

UML用例模型——系统需求的规范描述

以创新基金管理信息系统为实例,讲解创建软件项目用例模型的全过程,给出了使用UML创建系统用例模型的方法、要点以及系统的用例模型。     

基于UML的公路信息移动终端的研究与设计

本文简述面向对象建模语言UML(UnifiedModelingLanguage,统一建模语言)的发展应用情况及其建模机制.并且着重介绍了公路信息移动终端系统的功能及设计,尤其是基于UML的用例图的系统用例建模.     

基于UML的系统分析与设计框架

UML是一种标准的建模语言,但它并没有定义一个标准的开发过程.根据多年的教学科研和开发实践,提出一个基于UML的面向对象分析与设计框架,以用例为核心,描述软件系统的功能需求,静态结构,动态行为和物理结构4个方面.该框架展示了UML建模在系统开发中的应用,深入地研究建模过程中所用的模型图及其之间的关系,解决了开发过程中的模型平稳过渡问题,时面向对象分析与设计具有很强的指导性.     

基于UML可适应的教学考评系统分析与设计

该文给出了UML的概念与要点,应用UML对教学考评系统进行了建模。给出了系统的用例模型、整体结构模型、静态模型、动态模型,并分析了模型对教学考评变化的可适应性。     

基于UML活动图的用例识别

在面向对象的软件开发过程中,统一建模语言(unified modeling language, UML)的用例图用于捕获用户的需求.传统描述用例的方法一般是开发者根据自己的经验,从需求中人工获取用例.然而,如何自动生成准确的用例仍然是一个待解决的问题.本文提出了一种通过用UML活动图半自动生成用例的方法.首先通过引入形式化模型——统一结构来描述用例图与活动图,其次给出分解活动图的算法,然后根据分解活动图得到的依赖链生成对应的用例的事件流,从而得到用例模型,最后通过所开发的原型CASE工具进行案例的演示,验证了本文所提出的方法的可行性。     

基于UML的需求分析过程研究

为提高软件生产过程的质量,文章提出了一种基于UML的概念建模方法。概念建模的目的是用一种规约详细描述系统的功能，主要工作是寻找系统必需的类。该方法利用熟知的UML的标准符号和技术．介绍了以时序图作为分析工具，将高层次的软件需求分解成更详细规约的需求分析过程(RAP),并讨论了确认、验证和可跟踪性问题。     

基于UML短信息计费系统设计

Unified Modeling Language（UML）又称统一建模语言或标准建模语言,是一种面向对象的建模语言,它是运用统一的、标准化的标记和定义实现对软件系统进行面向对象的描述和建模。UML的目标是以面向对象图的方式来描述任何类型的系统,具有很宽的应用领域。其中最常用的是建立软件系统的模型,故本文从这个方面入手,分析设计了一个基于UML的短信息计费系统。     

基于UML建模的考试信息系统研究

UML是一种定义良好、易于表达、功能强大且普遍适用的统一建模语言,是面向对象建模领域的工业标准。介绍了UML统一建模语言及其建模工具Rational Rose,以考试信息系统为研究对象,分析了其需求和流程,并利用UML的用例图和顺序图及其建模工具Rational Rose对考试信息系统进行了建模。     

基于UML的蜂窝式客户管理系统的设计与研究

UML是一种标准的图形化建模语言,它是面向对象分析与设计的一种标准表示.蜂窝客户管理系统利用UML类图建立了系统静态模型,并对蜂窝定义与划分模块使用用例图进行需求分析和用时序图来完成动态模型的建立.     

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

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

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

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

UML建模机制研究及在系统需求分析中的应用

对UML语言的组成结构和需求分析的基本原则做了简要的介绍,从两者之间的关系出发,提出了分析中的3类模型图,并导出了利用统一建模语言UML获得系统功能需求的方法和建模流程;从理论出发,在一个综合网管系统的设计中,从所得到的方法及建模流程图,结合图例详细阐述了需求分析建模所经过的5个阶段,从建立的3类模型图中得到一个较为完整的系统需求分析结论。     

UML建模在资料室管理系统设计中的应用

UML是一种面向对象的可视化图形模型语言,通过不同的模型从不同的角度对系统的需求分析建模,使参与软件开发的各方人员能方便通信,并准确合理地进行设计,介绍了UML的概念、优越性及其在资料室管理系统中的应用。     

UML技术在面向Agent系统分析中的应用研究

基于Agent的软件系统因其智能性、自律性近来发展迅速，面向Agent系统分析已成为软件工程中的一个研究热点。根据Agent系统的特点，应用UML技术和面向对象方法，提出了一种基于UML的面向Agent的系统分析方法，同时为适应对AO系统的表示，对UML进行了适当的扩展，并通过实例给出了模型的表示以及系统分析的过程。