UML时间顺序图的自动验证技术

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.     

基于UML建模技术的学生成绩管理系统的设计与实现

对基于UML建模技术的学生成绩管理系统的设计与实现进行研究.     

系统开发中的UML建模应用

本文探讨了系统开发中基于UML进行面向对象的系统分析及设计方法,包括静态建模和动态建模：提出了一种实用的基于UML的需求分析及其建模方法,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,以应用例图表达系统需求：讨论了需求分析及其建模的过程概念。     

基于UML的网上图书销售系统的建模与设计

运用基于UML的面向对象分析方法,按照软件工程的思想,借助于统一建模语言,使用Rational Rose为建模工具对网上图书销售系统进行建模设计,利用表示系统静态特征的UML类图、用例图和描述系统动态行为特征的时序图对其进行详细描述。     

浅析基于UML语言的数据库建模技术

主要对UML的建模思想与方法、建模策略和步骤进行初步的研究,通过一个简单的电子商务系统进行实际建模与实现,实现建模过程从逻辑到物理的演化过程。在对UML建模的分析的基础上通过运用PowerDesigner工具和UML语言,实现一个简单的电子商务系统的分析与设计建模。     

基于UML的餐饮预订系统的需求分析和建模

阐述UML的基本概念、特点和作用,从对餐饮预订系统的需求调研入手,应用面向对象的方法 ,基于UML对系统进行了需求分析与建模。介绍需求捕获、需求分析和需求描述的完整过程。其中,运用了用例图、类图和活动图,描述了建模的主要过程。最后介绍系统的实际应用情况,并提出进一步的优化和改进建议。     

基于图文法的产品族配置及其建模研究

根据产品族生成机理与图语言生成机理的相似性,提出了一种产品族的图文法表达方法,并根据产品族的图文法模型构建了基于图文法的产品族配置系统的体系结构.用UML对基于图文法的产品族配置系统进行用例建模、静态建模、动态建模以及编码与部署分析,从而为系统的具体开发做准备.     

基于UML的面向Agent建模方法UMAM

根据面向对象和面向Agent程序设计的关系以及建模语言UML的优点,通过扩展UML和AUML的符号和图形,构建以UML和AUML为基础的面向Agent建模方法UMAM。     

协同环境下产品开发过程建模的研究

对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基于UML活动图和Petri网的分层建模方法。通过用UML活动图对产品开发全局过程进行描述,确定了过程视图和其他派生图之间的关系,提出了视图间的组织结构方法。同时通过对具体生产环节的Petri网描述,达到使管理人员对局部进行有效控制的目的。     

基于UML的机车检测系统软件开发

检测系统模型是构建机车检测系统软件的关键。在分析检测系统建模和面临问题的基础上,使用面向对象的、可视化的统一建模语言UML,建立了检测系统软件模型,开发了基于UML模型的机车检测系统。     

拍摄期基于数据的管理协作系统开发与研究

本文围绕拍摄期基于数据的管理协作系统的研究与实现的问题,运用UML建模工具对拍摄期基于数据的管理协作系统进行了需求分析及功能模块的设计,最终使用软件开发方法实现了拍摄期基于数据的管理协作系统。     

基于UML的税收管理员工作平台系统建模研究

税收管理员工作平台是税务系统管理的一个重要环节，是税务综合业务管理系统到末端的延伸。在介绍了系统建模语言UML的基础上，讨论了税收管理员工作平台建模过程中，使用UML语言进行系统建模的方法和步骤，并使用Rational Rose工具作为系统建模环境。     

基软件工程的UML建模技术分析

分析UML的概念,特点以及组成,指出了UML在应用中的特点。通过UML可以很好的应用其图形化的特征,辅助进行系统的建模与分析,介绍两种开发应用的建模工具,最后指出应用学习UML的难点,使用UML应该注意的地方,可以起到很好的借鉴作用。     

基于WEB的集团公司动态生产信息集成系统的设计与实现

从流程分析和系统建模的角度讨论了集团公司模式下动态生产信息的集成问题,并针对实际信息系统运行中存在的问题提出了相应的解决方案。使用UML建模方法,对信息系统进行了分析和设计,提出了一种基于XML的优化方案,以此为基础实现了基于网络的集团生产信息查询统计系统。     

基于UML模型的关系数据库设计

UML是面向对象程序设计中的一种标准的建模技术。本文针对UML中的类模式向关系数据库数据模式的转换过程，提出了一整套方法，从而将UML技术与关系数据库技术相结合，方便了数据库设计。     

基于UML的内容管理系统(CMS)的分析与设计

UML是一种可视化的建模语言.分析内容管理系统(CMS)的业务需求,设计了一个采用B/S结构的内容管理系统,并通过UML建模,对系统进行了描述.     

基于WinSocket的大文件批量传输系统的设计与实现

针对文件传输系统中进行二次开发比较困难及对大文件传输支持不理想的问题,给出了一种新的UML建模方法,该方法利用SOCKET的底层机制和多线程技术相结合,用Rational Rose工具,在RUP指导下运用UML建模技术,实现大文件批量传输,实验表明该方法提高了文件传输效率。     

UML时间顺序图的实时系统建模及验证

实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.     

基于EJB3.0的软件Agent实现技术

对Agent进行关注点的分离是使用面向方面技术实现Agent的首要一环。在分析Agent的结构和特性后,在Agent中定义若干切入点,将Agent的一些特性作为方面以横切Agent。使用注解和面向方面编程的UML扩展,对Agent进行建模。EJB3.0以拦截器的方式实现面向方面编程,结合扩展的UML,对基于EJB3.0的Agent系统进行建模,并给出实现Agent的基本步骤。最后给出基于EJB3.0的Agent的优缺点。     

中小型印刷企业采购管理信息系统设计

利用UML建模工具对中小型印刷企业采购管理信息系统进行了系统设计.采用活动图进行系统动态建模,通过定义类和类图进行了系统静态建模,并通过定义数据的存储结构和存储过程对数据库进行设计.