基于UML的分布式服务合约库系统建模

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述了一个大多数服务合约库系统所遵循的功能模型,然后基于此从服务合约库系统的结构和互连体系这两方面详细地阐述了这个元模型,并在UML2.0中进行了扩展,形成一个UML外廓.本文进一步地阐述了利用该外廓对青鸟分布式服务合约库系统所建立的模型.     

基于UML语音发票查询系统的研究及应用

UML建模是面向对象技术的一个重要应用，也是近代软件工程环境中对象分析和设计的重要工具。本文首先介绍了UML的建模原理，然后结合海口地税语音发票查询系统项目的分析设计过程，对UML技术的具体应用作了详细的描述。     

浅谈基于UML的系统建模过程

文章首先介绍了软件建模的常用方法,然后分析对比了面向对象中常用的建模方法、以及在统一过程指导下UML在系统建模中的应用,并介绍了一种比较适合中小型软件项目的UML建模过程。     

基于UML的学生评教系统建模研究

学生评教系统是适用于高等院校教师课堂教学质量管理的网络软件。在需求分析过程中,将整个系统分为学生评教模块、教师评学模块、教师互评模块和后台管理模块,使用统一建模语言UML对系统进行面向对象的分析和建模,完成了系统的静态建模和动态建模。     

从UML状态图到PVS规范的自动转换、验证

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.     

基于UML的建模及模型检验研究

UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器（SMV）对模型进行检验,有利于在系统的设计早期发现系统的缺陷。     

基于UML的学生毕业设计选题系统研究

为了完成本科毕业设计选题的自动化和培养学生设计分析开发软件的能力,避免结构化模型的不足;采用UML建模技术,借助于Rose工具,对学生毕业设计选题系统进行有效地建模和模型分析,采用ASP技术完成系统的研究与开发;利用UML建模思想,能够避免结构化建模技术的不足,完成系统的可视化表达,构建学生选题系统的用例图,状态图,类图等,自动生成和维护系统代码,并有效地提高系统的开发效率。     

基于UML建模的图书信息管理系统的研究

UML是面向对象软件开发中的一种通用,统一的图形模型语言,其提供的各类图形在面向对象开发的软件系统的建模过程中得到广泛使用。个性化数字信息咨询是对传统信息咨询内容及方式的拓展和延伸,是未来信息管理服务的发展趋势。     

基于UML的软件建模工具的研制

本文讨论了基于UML的软件建模工具的设计和实现技术.介绍了面向对象的软件建模工具所应支持的概念与模型,对工具的系统功能结构与设计进行了详细地阐述,并给出了一套具有通用性的具体实现方法.     

基于UML的.NET系统建模方法

文章首先介绍了UML和．NET的一些特点和它们的结合点，并给出了一个．NET运行的系统模型。然后根据不同的元素详细地介绍了运用UML建立适合．NET运行的系统模型的方法。     

UML在系统开发中的应用研究

研究如何使用UML开发应用系统，并通过一个销售系统的实例，运用Rational Rose2002对UML的MIS应用做了进一步说明。     

UML建模技术综述

本文首先对UML的产生背景、主要内容、功能、应用领域做了简单的介绍,目的是上UML初学者能快速的了解UML。然后就其UML建模技术的要点作了概要阐述,目的上初学者对UML建模技术的目的与原则、使用对象以及使用UML建模应该注意的事项有初步的了解。     

基于UML的高校学生请假系统的建模与实现

高校学生请假系统是适用于高等院校学生请假的网络应用软件.在需求分析过程中,将整个系统分为学生请假模块、辅导员和学生主任模块、主管院长模块和教师模块等6部分,使用统一建模语言UML对系统进行面向对象的分析和建模,完成了系统的静态建模.在数据库设计中用E-R图建立了数据库的概念模型.系统采用B/S结构开发,在校园网上进行测试,实现了预期目标.     

基于UML的高校学生请假系统的建模与实现

高校学生请假系统是适用于高等院校学生请假的网络应用软件。在需求分析过程中,将整个系统分为学生请假模块、辅导员和学生主任模块、主管院长模块和教师模块等6部分,使用统一建模语言UML对系统进行面向对象的分析和建模,完成了系统的静态建模。在数据库设计中用E-R图建立了数据库的概念模型。系统采用B/S结构开发,在校园网上进行测试,实现了预期目标。     

基于UML的高校调串课系统的建模研究

高校调串课系统是适用于高等院校教师调串课的网络应用软件。在需求分析过程中,将整个系统分为教师调串课模块、教学秘书模块、教务处调串课管理模块和课程信息模块等6部分,使用统一建模语言UML对系统进行面向对象的分析和建模,完成了系统的静态建模和动态建模。在数据库设计中用E-R图建立了数据库的概念模型。     

基于UML和XML的测试规范形式化描述

针对分布式系统的测试,需要测试环境及测试规范的支持,文档性质的测试规范不适合计算机仿真的测试环境。为了使测试规范,可以直接应用于测试环境,创造性地用针对系统的建模方法剖析文档性质的规范。通过一种特殊的类划分及关联方法,对测试规范建立基于UML类图的概念层静态模型,并根据一种从UML类图到XML Schema的三层设计方法将其转换为逻辑层静态模型,最终通过映射关系得到了XML Schema,获得了可以直接用于计算机仿真测试环境的形式化测试规范,这种形式化的测试规范具有较好的完整性与一致性。     

基于四色UML建模的应用研究

介绍了四色UML建模的四种基本架构型以及它的建模方法,并以食品检测模块开发为例,详细论述了用四色UML建模进行需求分析的过程,对此与传统的UML建模进行对比,最后总结出使用四色UML进行系统分析与设计的效益。     

UML在嵌入式系统开发中的应用

通过对现有UML技术的研究,本文尝试着提出一种基于UML的嵌入式系统开发方法,并将其应用到一个名为数码相框的实际嵌入式项目中。应用结果表明：结合UML来开发嵌入式系统能够很好的解决开发过程中从需求分析到实际测试各阶段的一系列问题。     

基于B方法验证技术的应用研究

形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。