基于UML的全程办税系统的建模与实现

UML（U1ified Modeling Language）是一种易于表达、功能强大的面向对象标准建模语言,广泛应用在系统建模过程中。基于UML建模的迭代式开发方法具有传统开发方法无可比拟的优点。文中结合全程办税系统的需求分析,采用RUP（Rational Unified Process）建模过程,建立了系统的用例图、类图和顺序图,从静态和动态不同建模机制,给出了基于UML的系统需求模型、静态模型和动态模型的建模过程。在可视化建模工具EA（Enterprise Architect）环境下,实现了从模型到C#代码的自动生成,完成了系统的实现。     

面向Rational统一过程的软件需求分析建模

本文阐述了如何在Rational统一过程(RUP,Rational Unified Process)中使用UML(Unified Modeling language)进行软件需求分析建模。介绍了UML与RUP结合的重要特征,以装备维修人力需求分析系统为例描述了其需求分析过程的用例图模型、静态模型和动态模型,不仅使维修人力需求分析过程可视化,而且为实现面向对象的编程奠定了基础。     

PSP支持RUP的应用研究

RUP（Rattonal Unified Process）是由Rational软件公司开发和营销的一种软件工程过程,它提供了如何在开发组织中严格分配任务和职责的方法.PSP是软件工程师个体软件过程改进的指导框架,它提供了一些度量标准、操作步骤和模板帮助工程师改进个人的软件工程技巧.在阐述PSP和RUP原理的基础上,探讨以PSP支持RUP,通过个人软件过程的改进,从而提高组织整体的过程改进效果,达到改善软件产品质量、提高软件开发效率的目的.     

UML在财务管理信息系统分析设计中的应用

统一建模语言UML（Unified Modeling Language）是一种标准的、功能强大的建模语言。文章在介绍UML的基础上,以财务管理系统的分析和设计为例,详细介绍了UML（统一建模语言）的实际建模过程。     

基于构件的RUP研究

在软件过程领域,Rational公司的RUP(Rational Unified Process)占据主流,但它不是针对基于构件的开发(Component-Based Development,CBD)提出,没有体现CBD的本质.CBD也需要软件过程的指导.文中将构件技术应用到RUP中,提出基于RUP的CUP(Component Unified Process),对RUP进行改进,在软件开发过程中将项目管理、业务建模、构件技术、软件质量等统一起来.同时CUP与统一建模语言(UML)集成,有多种CASE工具支持,缩短了需求到实现的距离.并以医院管理系统为例,对CUP进行研究.     

DEVS的面向对象可视化建模

DEVS是对离散事件系统的一种形式化描述,该文在DEVS中引入面向对象的方法,并采用UML（Unified Modeling Language)对它进行可视化建模。文中提出了基于DEVS的面向对象的一种建模规则和基于UML的可视化建模思想和方法,该方法是对DEVS和UML的扩充和改进。     

基于UML的全程办税系统的建模与实现

UML(Unified Modeling Language)是一种易于表达、功能强大的面向对象标准建模语言,广泛应用在系统建模过程中.基于UML建模的迭代式开发方法具有传统开发方法无可比拟的优点.文中结合全程办税系统的需求分析,采用RUP(Rational Unified Process)建模过程,建立了系统的用例图、类图和顺序图,从静态和动态不同建模机制,给出了基于UML的系统需求模型、静态模型和动态模型的建模过程.在可视化建模工具EA(Enterprise Architect)环境下,实现了从模型到C#代码的自动生成,完成了系统的实现.     

基于UML的订单处理系统的分析和设计

UML（Unified Modeling Language)是一种标准的、功能强大的建模语言。以订单处理系统的分析和设计为例,详细介绍了UML（统一建模语言）的实际建模过程。     

基于UML技术的数据库建模分析研究

本文介绍了UML（Unified Modeling Language）的发展情况、基本概念、建模的基本过程,阐述了一种基于UML技术的关系数据库建模方法,以学籍管理系统作为案例分析了UML类到关系数据库表及表访问操作之间的映射方案。     

基于UML的测试用例生成方法研究

基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术.随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向.结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证.     

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

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

土石方开挖数学模型和仿真系统的设计与研究

建立了土石方开挖数学模型,将开挖过程简化为相应的数学问题,利用数学理论进行分析和研究,为土石方分区分层分块开挖原则提供了科学的方法和理论的指导。讨论了土石方开挖仿真系统的组成、统一建模语言(Unified Modeling Language,UML)的建模机制,提出了一种基于UML土石方开挖仿真系统的建模方法,并利用RationalRose工具对其进行面向对象的可视化建模,详细阐述了系统用例模型、静态模型和动态模型的建模过程。实例分析说明了土石方开挖数学模型、UML建模机制是有效的、可行的。     

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发,基于模型的软件开发,迭代增量开发等。开发过程是如此复杂,融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持,以UML为基础的软件产品标准化,多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME,集中讨论环境如何提供和协调过程模型,产品模型,组织模型和开发工具集合来达到开发与管理集成的目的。此外,还讨论了过程模型如何组织,指导和监控软件开发。     

基于CORBA的分布式系统的开发

Common Object Request Broker Architecture（CORBA）作为分布式对象的重要标准,其跨平台、独立于语言、良好的稳定性以及较高的效率,使其成为构建分布式系统的一个较好的解决方案。介绍了CORBA标准的体系结构并给出了开发CORBA应用系统的方法与步骤,指出CORBA应用系统的适用范围。     

基于UML和组件技术的软件开发环境IUMLSE的研究与实现

统一建模语言UML（Unified Modeling Language）正逐步成为面向对象技术领域内占主导地位的建模语言。而组件（Component）技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对UML和组件技术进行了描述,探讨了两者在软件开发中的作用和相互之间的联系,以及新一代的软件开发环境应该如何对两者提供支持,然后详细介绍了基于UML和组件技术的软件开发环境IUMLSE的设计和实现。     

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性.     

UML模型检测方法的研究

统一建模语言（UML）是设计和分析软件系统最常用的方法，如何保证UML模型满足某些特性是一个非常重要的问题，而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器（SPIN）对UML模型进行检测的方法。首先对UML模型进行形式化描述，使用层次自动机来描述状态图，然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA，使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束，通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。     

基于UML的软件形式化需求分析与验证

针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言（UML）模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。     

基于RUP的生产准备子系统的分析与设计

统一软件过程(RUP)是一种用例驱动的,以架构为中心的,采用迭代增量方式开发的软件工程化过程,应用统一建模语言(UML)进行可视化建模,为面向对象系统的开发提供了方法论的指导.在分析RUP过程的基础上,结合过程裁剪的原则和方法,在实际项目中进行了系统分析、设计及建模过程的实践.     

基于描述逻辑的带依赖属性UML类图

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。