UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.     

基于UML的闸门及启闭设备管理信息系统分析与设计

基于统一建模语言(UML)建模技术,采用面向对象的软件开发方法,阐述了海河水利委员会下属机构自主开发的闸门及启闭设备管理信息系统的分析与设计问题.由于在应用软件的开发过程中采用了UML建模技术及面向对象的软件开发方法,确保了整个应用软件的开发具有较高的效率,确保了应用软件的质量以及具有较强的扩展性、适应性与行业推广性,达到了开发目的.     

搜索引擎系统：UML/OCL模型驱动开发

介绍一个搜索引擎系统的开发。运用UML用例图做系统的需求分析,运用UML类图、状态图、包图进行系统设计。以OCL表达式丰富状态图。使用C#语言和ASP.NET编程,SQL Server存储信息,系统运行在微软.NET环境上。遵循面向对象方法,如逐步求精和模块化,建立UML/OCL模型、组织程序,将系统逐层分解成具有特定功能的模块。系统由收集器、索引器、检索器三大部分组成,分别负责数据收集、数据分析和索引构建、用户检索接口。论文报告系统分析、设计和实现的思想和过程。     

选择序列图创建UML动态模型

讲解选择序列图创建动态模型的理由以及生成序列图的流程,以创新基金管理信息系统用户登录、录入票据和检索票据为例,给出了使用UML创建序列图的步骤和方法。     

基于UML的GRAPPLE在数字化医院信息系统设计中的应用

UML(标准建模语言)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,是开发软件系统分析和设计阶段的重要工具。GRAPPLE是一个可自适应的、灵活的开发过程方法学,本文以数字化医院信息系统的系统分析和设计为例,介绍了结合UML建模的GRAPPLE的实际开发过程。     

导弹武器系统任务空间概念模型开发

为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,突出了任务空间概念模型中核心元素之间的关系。利用UML建立了战略反击作战使命的任务空间概念模型。分析了执行战略反击使命的特点,抽象出任务空间概念模型的核心元素,重点描述了实体间的关系、任务间的关系、条件与任务的关系、交互与任务、实体的关系等核心元素之间的关系。最后讨论了模型验证的方法。实践证明,以核心元素及其关系描述任务空间概念模型的方法可操作性较强,建立的模型也容易理解。     

谈图书馆网络管理系统的需求分析

图书馆网络管理系统是一个学校必不可少的部分,它所具有的功能直接关系到图书的利用率,一个功能完备的图书馆管理系统还可以在很大程度上节省人力物力资源。本文主要对图书馆网络管理系统应用UML语言进行需求分析,为建立完善的图书馆网络管理系统打下良好的基础。     

基于UML图书管理系统的分析与设计

本文借阅介绍了UML的组成部分、特点和作用,并详细地阐述了在传统的软件开发阶段中使用UML对图书管理系统进行建模的主要过程。     

基于UML和.NET的高职院校新生报到系统的设计与实现

基于UML和.NET的高职院校新生报到系统,运用先进的OOD和OOA软件编程思想和方法,使用先进的UML和.NET开发工具,解决了高职院校存在的新生报到中的问题,简化了工作程序,提高了工作效率。