首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 218 毫秒
1.
根据企业级软件项目的开发实践,讨论如何将建模语言UML及建模工具Rational Rose应用到从需求分析到编码的各个环节当中.用实例说明,通过对需求的深入理解使得项目开发从一开始就能按正确的分析和设计方法进行.此后,借助UML的一些成熟方法开发出可行的软件设计方案,以编写出最佳的软件实现,从而明显提升所开发软件的可扩展性、易维护性以及可重用性.  相似文献   

2.
在研究Batik应用的基础上,对监控绘图软件进行了设计和实现;使用UML对系统进行分析设计,使得对系统进行的构造实现更快、质量更高;扩展了电力监控系统软件的图形操作能力,为应用系统提供更灵活的图形支持功能,并促进图形支持的网络化、文档化发展和可互操作性的提高。  相似文献   

3.
UML(Unified Modeling Language)是一种定义良好,易于表达,功能强大,且普遍适用的建模语言,它用于描述软件蓝图.本文研究的重点是UML模型的扩展以及基于扩展的UML建模过程框架,并且介绍了UML建模技术在商业软件开发中的应用.  相似文献   

4.
基于UML和RUP的图书馆管理系统研究   总被引:1,自引:0,他引:1  
UML是功能强大的可视化建模语言,RUP是先进实用的软件开发过程,二者的结合已在软件产业界得到广泛应用.本文以一个简单的图书馆管理系统为例,描述了基于UML和RUP的软件开发全过程,重点阐述了用UML进行系统建模和RUP进行管理的过程.  相似文献   

5.
精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型.然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约.使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程.  相似文献   

6.
UML是一种基于面向对象方法学的建模语言.介绍了UML的基本内容、特征和建模过程,并以车辆管理系统为例,探讨了基于UML的系统需求分析的设计方法.  相似文献   

7.
模型检测与定理证明相结合开发并验证高可信嵌入式软件   总被引:1,自引:0,他引:1  
首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错误情况给出的反例路径,尽早修改软件的UML设计模型;然后将已验证过的UML模型转换为定理证明工具B方法的抽象规约,利用B方法的精化、验证及代码生成功能,直接生成正确的C代码。并给出了从UML状态机到REACTIVE MODULES建模语言及B AMN抽象规约的转换规则。实验结果表明,该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。  相似文献   

8.
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文实现了基于UML State Diagram规格说明的自动测试用例生成技术,定义了相应的测试覆盖准则,分析了测试数据的生成。  相似文献   

9.
UML是一种面向对象的标准建模语言,它易于表达,功能强大且普遍使用,支持从需求分析开始的软件开发全过程,利用UML的建模机制,可以对大型复杂系统的各部分进行可视化表示、构建系统模型.以自动饮料销售机系统的开发为背景,研究了基于UML的应用软件系统的开发过程,给出了设计过程中的用例图、类图、时序图等.  相似文献   

10.
UML2.0OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行条件约束后,类图便具备了严格的语法和精确的语义,同时也具备了演绎验证的基本条件.但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证,因此提出了将带OCL约束的UML类图通过Object—Z进行形式化描述的方法,这样便可以充分利用Object—Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等。  相似文献   

11.
基于IDEF和UML的虚拟装配系统建模   总被引:2,自引:0,他引:2  
为了解决复杂虚拟装配系统的系统建模问题,在分析IDEF和UML建模方法优缺点的基础之上,提出了一种两者相结合的系统建模方法.首先利用IDEF建立系统的功能模型、信息模型和过程模型,再根据IDEF和UML模型之间的映射机制,将IDEF模型转换为UML模型,从而完成系统从需求分析、功能设计、对象设计直至软件实现的整个过程.该方法能有效弥补单纯采用IDEF方法建模或UML方法建模的缺陷,实践证明在虚拟装配系统建模中具有重要的应用价值.  相似文献   

12.
统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。  相似文献   

13.
介绍基于统一建模语言UML(UnifiedModelingLanguage)的建模过程和MVC(Model-View-Controller)设计模式,并以霓虹灯七彩花样编辑软件的建模为例,论述基于UML和MVC相结合进行系统分析和设计的方法,建立并实现面向对象的软件模型。  相似文献   

14.
基于统一建模语言的软件体系结构描述   总被引:3,自引:0,他引:3  
系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键。目前对软件体系结构的研究主要集中在软件体系结构的分析,描述等方面。利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构当前主流的面向对象软件开发方法相结合,给出了软件体系结构的核心模型,并从多个视图描述了软件体系结构。这样,就可在软件开发方法中和软件体系结构,也可利用开发方法众多的支持工具。  相似文献   

15.
在初步的业务需求形成的前提下,首先对使用UML进行系统需求分析的过程进行详细的描述,然后结合数据采集系统,探讨用UML实现面向对象的需求分析过程,建立数据采集系统的用例图、活动图、包图和类图,从而为面向对象的设计打下基础.  相似文献   

16.
通过对面向过程和面向对象软件开发的过程比较,引出适合统一建模语言的软件工程化过程——统一过程的特性.探讨了在统一过程的指导下,用Rational Rose实现数据采集分析系统的面向对象建模与设计的过程:并结合数据采集分析的完整流程.建立了几种数据采集分析系统模型。  相似文献   

17.
基于UML的GIS基础软件开发管理   总被引:10,自引:0,他引:10       下载免费PDF全文
本文介绍了基于UML的软件工程,以及将UML用于面向对象的GIS基础软件开发的方法。  相似文献   

18.
管状换热器广泛应用于冶金、化工、机械、建材等企业的余热回收,但其设计过程相当烦琐、费时,而且容易出错.使用标准面向对象语言UML进行软件建模,为软件开发顺利完成提供必要的理论基础,为了便于实现面向对象技术,运用Visual Studio6.0及AutoCAD 2000等软件来研制管状换热器计算机辅助设计系统,使用者只需输入几个参数,系统便能自动完成从设计计算到绘图的全过程,大大提高了设计速度.该系统操作简单,通用性好,界面友好,实用性强.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号