UML在网上考试系统的分析中的应用

通过统一建模语言（UML）对网上考试系统进行了分析和建模,建立了系统用例图,并结合主要用例一考试模块,建立了类图和顺序图。采用UML对系统进行建模,使系统结构清晰、合理,容易维护,有利于提高系统的稳定性和可重用性。     

基于UML的通用在线考试系统的分析与设计

本文讨论了面向对象技术的基本概念和UML建模语言,分析了通用在线考试系统的总体功能结构,结合软件工程和面向对象技术,设计了基于UML用例图、类图和活动图的通用在线考试系统模型,并运用UML的时序图描述了教师组织考试的工作流程。通过通用在线考试系统开发实例,介绍了如何应用UML的方法设计和开发软件模型。     

基于SVG的剧院网上选座系统的实现

阐述了网上选座系统的基本工作原理,运用 UML 技术中的用例图模型化网上选座系统,并用时序图描述网上选座用例所包含的时序关系.实现中充分考虑动态服务器程序和 SVG 图形之间的良好协作.分别完成了放映厅座位的SVG图形设计、不同座位状态的图形标识和交互性的网上选座,并结合实例说明了动态的,图形化的剧院网上选座系统的实现.     

基于UML建模的考试信息系统研究

UML是一种定义良好、易于表达、功能强大且普遍适用的统一建模语言,是面向对象建模领域的工业标准。介绍了UML统一建模语言及其建模工具Rational Rose,以考试信息系统为研究对象,分析了其需求和流程,并利用UML的用例图和顺序图及其建模工具Rational Rose对考试信息系统进行了建模。     

基于UML的蜂窝式客户管理系统的设计与研究

UML是一种标准的图形化建模语言,它是面向对象分析与设计的一种标准表示.蜂窝客户管理系统利用UML类图建立了系统静态模型,并对蜂窝定义与划分模块使用用例图进行需求分析和用时序图来完成动态模型的建立.     

UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。     

UML类图的形式规约与精化研究

UML由于其广泛的应用和直观的图形化符号,成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义,缺少对其模型精化关系的形式化规范定义,对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型,不具备完整的形式语义。从UML类图的机械语义中抽取出形式规约,将UML类图中的结构和形式规约转换成定理证明器Coq中的机械语义定义。此外,还提出了类图的结构精化操作,将模型间的精化关系在Coq中进行形式化定义,并且对精化操作的原子操作进行机械验证,保证其精化前后系统的结构和语义保持一致。将UML和形式化方法相结合,为可验证的软件设计精化框架提供了理论依据。     

基于UML的现代快递行业系统建模

以现代快递业务为开发背景,通过统一建模语言（UML）对该行业系统进行探讨。通过需求分析,建立系统用例图、类图、活动图、顺序图及部署图,使快递行业系统模型清晰、合理。     

UML在CRM系统中的建模应用研究

客户关系管理系统(CRM)是以客户为中心,利用信息技术,实现市场营销、销售、服务等活动自动化。为了建立可靠、可重用、可维护的CRM系统,应用UML技术对CRM系统建模。分析了UML建模的优点,探讨了UML建模技术,提出了利用UML技术实现对CRM系统的分析建模,使用用例图分析系统的功能需求,叙述了应用类图、顺序图、组件图、配置图设计系统的结构。应用UML的可视化建模,降低了系统的复杂性,提高了软件开发效率和质量。     

UML及其在雷达信号分选系统分析建模中的应用

UML作为软件工程领域的标准建模语言得到了业界的广泛支持,并日渐成为系统分析中的一种标准建模语言.建模就是用图表从技术层次表达系统的各个方面功能.实时统一建模代表着雷达软件设计的一个发展方向,该文介绍了UML工具并使用了UML的用例图、活动图以及类图对雷达信号发分选系统的软件设计进行了分析建模,给出了雷达信号发分选系统的软件设计的用例模型、静态模型和动态模型.     

服务图在合成Web服务建模中的应用

根据了合成Web服务的相关背景及传统UML建模方法的局限性，提出了服务图建模方法并将其用于有效的合成Web服务，举例说明了服务图的概念，给出了一个会话驱动的Web服务合成过程。     

UML活动图支持的工作流建模分析

首先分析了工作流管理系统的特性，给出了一种工作流执行系统的体系结构。在此基础上，形式化定义了为工作流过程建模的UML活动图结构以及建模规则；通过一个具体的实例描述了建模过程并对模型的执行做了分析。     

UML在数据库建模中的应用

文章以煤层自然发火管理信息系统数据库建模为例,讨论将UML类图映射成关系型数据库中的表的方法,并对煤层自然发火管理信息系统数据库的关系模式进行了规范化。     

基于关系模型的UML类图一致性检验

UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性。     

UML活动图的操作语义

越来越多的系统采用UML（unified model language,统一建模语言）作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是：引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.     

一种顺序图的形式化描述与推理过程

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图的形式化定义和语法描述,并进一步分析了对象消息发送和接收之间的一致性问题.最后,通过对实例推理过程的分析,对UML顺序图的特性作进一步的解释.这为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,可用于对软件...     

顺序图至Petri网转化方法的研究与实现

作为一种面向对象分析和设计建模语言，统一建模语言（UML）已经越来越多的被用在大型系统中，然而，UML是半形式化的，这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分，同样存在这样的问题，而Petri网作为一种建模工具，有着严格的形式化语义，而且有很多成熟的分析方法。该文针对UML20顺序图模型，结合几个简单Petri网结构，提出了将顺序图转换为Petri网的算法，最后通过实例说明了转化算法的有效性。