UML状态图到B形式化规范的转换实现

统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化描述和分析,确保模型的可靠性。通过研究从UML状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用Java语言实现了自动转换工具UML2B。     

UML状态图的逻辑语义及自动推理

针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理.     

基于UML学习管理系统的软件建模

UML是一种易于表达、功能强大的面向对象的标准建模语言,在信息管理系统开发中得到了广泛的应用。本文在分析UML建模机制基础之上,根据学习管理系统的软件开发需求,以UML为建模工具,构建了学习管理系统的静态结构模型和动态行为模型。     

基于状态图的嵌入式软件设计方法

嵌入式软件目前有广阔的应用背景,一种基于Statechart的嵌入式软件设计方法适用于中小型嵌入式系统的开发。该方法从功能需求开始,逐步求精,并在层次化的分析过程中对结果进行形式化验证,保证系统设计的可靠性,能有效地完成嵌入式软件设计中从需求到代码分析的设计过程。     

基于UML进行面向对象建模的研究与实践

作为对面向对象软件开发的最新探索和实践，本以作开发的InetExam通用在线考试平台的UML建模为例，借鉴统一软件过程(RUP)的主要方法，给出了全程建模的主要详细视图(View)和框图(Diagram)。     

基于UML的软件需求分析和设计

统一建模语言UML(Unified Modeling Language)是面向对象软件开发的重要新技术，本文阐述了UML的特点、UML架构、软件需求分析原则及UML对软件建模的意义，并给出了UML技术在软件需求分析和设计阶段的成功应用。     

基于UML的面向对象建模方法研究

针对面向对象的建模方法,介绍了应用UML建模的具体方法和流程,其中列举了UML建模的实例,详细阐述了用例图、类图、顺序图的运用。     

基于UML的应用软件用例建模实践

利用UML的可视化工具,采用面向对象的设计方法,对某营销系统进行系统建模,并对系统开发效率进行讨论。     

基于UML行为模型的高速公路收费系统的设计

统一建模语言(UML)是一种可视化的面向对象的建模语言，具有强大的行为建模能力，我们将UML行为模型应用到高速公路收费系统的设计中，根据这种思路设计的长潭高速公路收费系统运行安全可靠，结构严谨。     

基于Rose的UML系统建模方法研究

提出了基于Rose的UML(Unified Modeling Language，统一建模语言)系统建模方法，并以邮件系统开发为例，详细介绍其建模过程。实践证明，该方法不仅能提高系统的开发效率，又能减少系统开发成本。     

基于UML的静态建模方法研究

静态建模的目标是精确描述模型的静态结构，即模型的内部特性及其相互关系。统一建模语言UML作为国际上标准的面向对象建模语言，提供用例图、类图、对象图等模型图可视化描述模型的静态结构。本提出采用UML对模型的静态结构进行建模，并结合E—learning实例对静态建模方法进行了研究。     

基于UML的电子商务系统建模的研究

对UML的建模原理作了系统的介绍，然后以电子商务系统的开发为背景，详细的阐述了基于UML的电子商务系统建模过程和关键技术。     

基于UML的网络课件资源管理系统的研究与实现

研究采用UML(Unified Modeling Language,统一建模语言)构造科学合理的基于WEB的课件资源管理体系,设计和建立了通用的网络课件资源管理系统模型案例,提供通用性能良好的原型系统。     

基于UML的公交车IC卡充值系统的模型设计

UML是一种用于构造可视化、文档化的图形建模语言,以本市公交车IC卡充值系统为例描述了UML的应用及UML各图形的构建,着重的介绍了该系统的设计思想与基本功能,与常规系统相比较,更多的智能化应用在充值卡中。这为其他行业中卡的充值系统提供了一定的借鉴。     

面向对象软件工程的UML方法

分析了面向对象软件工程的优点 ,介绍了UML方法 ,给出UML方法的图形表示法 ,最后介绍了UML方法软件分析与设计的具体步骤     

基于UML对AspectJ建模方法的研究

开发基于面向方面的应用是目前软件工程领域研究的热点,AspectJ又是AOP的一个具有代表性的语言,而UML是用于建立面向对象系统模型的标准建模语言,如何运用UML对基于AspectJ的应用系统建模是一个新的研究方向。阐述了结合使用AspectJ和UML的原因以及提出了一种运用UML扩展机制对AspectJ的建模表示,并结合一个在线外汇交易平台系统的建模实例,详细说明了建模过程和方法。     

UML科学建模系统研究

本文对实际使用UML的误区进行了深入分析,针对问题给出了以可伸缩迭代—递增模型和阶段类驱动可操作任务为中心的实用RUP方法,并结合MDA指出了科学选择UML建模工具的指导思想。     

基于UML的系统分析与设计

目前,面向对象技术成为软件设计的主流设计思想.UML作为一种面向对象的可视化的统一建模语言,在软件的整个分析与设计过程中起着非常重要的作用,它的各个模型可以帮助开发人员更好地理解业务流程,建立更可靠、更完善的系统模型.本文以网上订餐系统为例,探讨了在系统的整个开发过程中,如何使用UML作为建模语言进行系统的分析与设计.     

基于UML学生管理系统的设计与实现

学生管理是学校工作的重点之一,开发一套适用于本校工作实际的学生管理系统不仅可以提高工作效率,而且可以节省开支.对学生管理系统进行了系统的功能分析,结合UML建立了系统模型,给出了系统实现的框架结构和方法.     

基于UML学生管理系统的设计与实现

学生管理是学校工作的重点之一,开发一套适用于本校工作实际的学生管理系统不仅可以提高工作效率,而且可以节省开支.对学生管理系统进行了系统的功能分析,结合UML建立了系统模型,给出了系统实现的框架结构和方法.