基于UML的临床路径诊治系统的分析建模

临床路径诊治系统不同于一般的管理信息系统,在系统的实时性、可靠性、规范性等方面要求更高,许多传统的分析及设计工具已难以满足新要求,而UML是一种易于表达、功能强大的面向对象标准建模语言,它将逐渐成为面向对象软件系统分析设计的必备工具。文章以RationalRose作为UML建模的工具,主要通过用例图、活动图和时序图对“心脑血管疾病的临床路径诊治系统”进行描述。由于系统采用了UML建模技术,从而使得软件结构更加合理,提高了软件开发的效率。     

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

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

UML在网上考试系统的分析中的应用

通过统一建模语言（UML）对网上考试系统进行了分析和建模,建立了系统用例图,并结合主要用例一考试模块,建立了类图和顺序图。采用UML对系统进行建模,使系统结构清晰、合理,容易维护,有利于提高系统的稳定性和可重用性。     

信息系统UML建模研究

UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用.概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型,静态模型和动态模型的设计过程,同时重点探讨了在一般信息系统建模过程中普遍适用的系统类筛选、动态方法定义等相关技术.     

基于UML活动图的用例识别

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

UML在CRM系统中的建模应用研究

客户关系管理系统(CRM)是以客户为中心,利用信息技术,实现市场营销、销售、服务等活动自动化。为了建立可靠、可重用、可维护的CRM系统,应用UML技术对CRM系统建模。分析了UML建模的优点,探讨了UML建模技术,提出了利用UML技术实现对CRM系统的分析建模,使用用例图分析系统的功能需求,叙述了应用类图、顺序图、组件图、配置图设计系统的结构。应用UML的可视化建模,降低了系统的复杂性,提高了软件开发效率和质量。     

UML的活动图及其在电子政务项目中的应用

软件开发的主要目的是为用户的实际问题提供解决方案，UML的用例图用于确保开发过程是围绕这些问题进行的。标准的用例图使用一般的文字描述事务流中的一系列动作。这些描述非常详细，但是它们很难理解，尤其是面对复杂且繁多的用例时。该文介绍另一种方式，用UML的活动图描述用例的事务流。     

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

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

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

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

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

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

基于PI3000平台的电力企业模型可视化研究

基于PI3000平台进行信息系统建设的第一步是企业模型的构建,原有的树状结构的模型描述方式不够清晰直观.提出了一种基于PI3000平台的电力企业模型可视化的方法,该方法以UML类图的方式展现信息系统中的企业模型,同时,为了增强可读性,重点研究了UML类图的自动布局过程.     

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

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

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。     

UML活动图在工作流过程建模中的应用研究

UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言，其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要，对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展，给出了扩展后UML活动图的数学模型。     

UML活动图的操作语义

越来越多的系统采用UML（unified model language,统一建模语言）作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是：引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.     

基于语义的UML类图的集成分类

在软件重用中,软件设计重用受到关注。UML类图被广泛应用于软件设计,UML类图的重用已经成为软件设计重用研究的重点。随着可重用的UML类图数量的不断增加,分类成为一项基础性工作。一个新的基于语义的UML类图的两级分类被提出。定义了类图之间的语义相似性度量,提出了行最大值捕捉算法获取中心类图来标识每个类别特征,基于改进的KNN[（K]邻近）算法构建了一个新的集成分类器E-KNN（ExtensibleKNN）。从分类质量和效率上验证了所构建分类器的有效性。     

顺序图至Petri网转化方法的研究与实现

作为一种面向对象分析和设计建模语言，统一建模语言（UML）已经越来越多的被用在大型系统中，然而，UML是半形式化的，这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分，同样存在这样的问题，而Petri网作为一种建模工具，有着严格的形式化语义，而且有很多成熟的分析方法。该文针对UML20顺序图模型，结合几个简单Petri网结构，提出了将顺序图转换为Petri网的算法，最后通过实例说明了转化算法的有效性。     

基于UML活动图的测试研究进展

UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望.