UML活动图相关论文
流程管理,是对企业流程、组织结构以及IT技术的整合与应用。包括对流程的分析、模型的建立、任务的调度、资源的分配、评测、再优......
本文首先介绍了软件过程技术出现的背景和软件过程工程技术领域若干研究热点问题。在分析当前以过程为中心的软件过程支撑环境PSEE......
随着信息技术的飞速发展和企业新需求的不断提出,现代企业迫切需要运用工作流技术在大规模开放环境下对业务进行优化和重组,以使企......
近几年来,伴随着Internet的发展,Web应用急剧增加,且变得日益复杂,极大地影响了人们生活的各个方面。商业的Web应用正逐渐成为企业......
MPEG-4可以有效地对视频数据进行压缩，但其结构复杂，直接进行应用开发的难度比较大。本文对MPEG-4视频压缩系统的建模及验证方面进行......
工作流技术是实现企业业务过程建模、过程管理与过程自动化的核心技术。随着信息技术的发展和计算机应用的普及，工作流技术正在受到......
如何提高软件质量是软件工程致力解决的关键问题之一。软件测试和验证是保证软件正确性和提高软件可靠性的最基本和最重要的手段，也......
工作流技术是当前计算机应用领域的一个研究热点,利用工作流技术对企业进行业务过程的建模和分析不仅可以规范化企业的业务流程,发......
天气会商是天气预报制作过程的重要环节,对提高天气预报的准确率有着重要作用。传统的天气会商需要把所有的与会人员集中在一起,严......
软件测试是保证软件质量、提高软件可靠性的关键工作,测试用例是软件测试的核心。随着面向对象技术的成熟和广泛使用,基于统一建模......
软件测试是保证软件质量的重要手段,测试成本占整个软件开发成本的40%到50%,测试场景/用例的质量和生成方法决定着测试的可靠性和......
众所周知,UML是半形式化的。Petri网虽然是形式化的工具但本身又有不便于应用的缺点。所以论文的目的是把UML活动图模型转换为PNML......
软件测试在软件开发过程中有着越来越重要的地位。它贯穿于软件定义与开发的整个期间即整个软件开发过程。从设计规格说明中产生测......
智能手机将成为人们最理想的移动通讯终端[1],而智能手机开发方法的好坏将是智能手机在手机市场所占比例高低的决定因素。作为典型......
学位
软件测试是软件开发过程的重要组成部分，是软件质量保证的重要手段。测试用例是软件测试最核心的内容之一，测试用例的数量和质量很大......
随着智能手机和移动互联网的快速发展,用户通信需求发生了巨大变化,运营商有逐渐沦为管道的趋势,为了避免管道化,运营商提出网络能......
UML活动图是UML的重要组成部分，适用于系统动态行为建模和描述工作流，与UML的其他图形工具不同，它本质上是非面向对象的，而且其本身并......
工作流(Workflow)技术是计算机支持的协同工作(Computer Supported Cooperative Work,CSCW)的一个分支,是一种反映业务流程的计算......
人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化......
静态模型和动态模型从不同角度反映了系统的结构与行为.横切关注点的静态模型反映了系统的静态结构,为进一步开发提供了静态视图;......
UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语......
Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例。针对Web应用的功能测试,介绍了基于UML活动图的产生......
测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余......
UML活动图的逆向恢复是逆向工程的重要组成部分，对于理解目标系统的动态行为和控制流程有重要辅助作用．论文针对Windows环境中的面向......
分析了工作流模型的组成,根据统一建模语言的特点,形式化定义了为工作流过程建模的UML活动图结构以及建模规则,给出一个应用实例来......
为了避免结构化业务过程中引入非结构化业务带来的复杂性，提出一种用例2．0技术驱动业务过程建模方法。基本思想是使用用例2．0在结构化......
针对UNIX平台上的分布、并发的软件系统，提出了基于UML活动图的进程关系模型恢复方法。分析了UNIX平台支持的进程间关系，在此基础上......
对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基......
在分析工作流建模系统的基础上，介绍了UML语言的发展和优势以及存在的不足，提出了一种基于改进的UML活动图的工作流建模方法。通过一......
从分析以活动为中心的软件过程的特点以及活动之间的规则、关系和分类出发,抓住了过程活动的特点与度量活动的难点。通过实例研究......
在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML......
随着业务流程的复杂性与日俱增,编排和协调Web服务的价值也日益被人们所认识.近年来,国内外一些研究机构和IT企业在关于模型驱动架......
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描......
在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的......
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模......
本文首先分析了工作流管理系统的特性 ,指出它是一种反应型的系统 ,并给出了一种工作流管理系统的体系结构 ,结合该系统结构 ,提出......
通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化......
针对开放、响应型系统建模UML活动图表现优良的特性，UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步，特......
基于工作流技术分析了定值单管理业务过程,利用UML活动图对定值单管理工作流程建模,在BEA Weblogic Integration支持下实现了定值......
给出UML活动图生成测试用例模型，并对该模型详细描述。确定一系列覆盖准则，能对活动图中并发结构提出相应处理方法，避免测试场景集数......
分析了模具特许连锁制造网格体系之物料供应系统的特点和功能要求,运用holonic制造系统的基本原理,参考PROSA模型的思想方法,结合......
首先分析了工作流管理系统的特性,给出了一种工作流执行系统的体系结构。在此基础上,形式化定义了为工作流过程建模的UML活动图结......
在UML活动图上实现工作流异常处理功能,避免工作流无故中断,影响工作流的运行。扩展了UML活动图,增加了结构单元和功能单元,保证工......
针对传统过程建模不能对仿真编码阶段前的过程进行有效的描述的问题,提出了一种基于扩展UML活动图的建模方法,并从信息活动和物理......
从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型.采用UML活动图模型来描述软件的人机交互过程.为了能......
软件建模和软件测试在软件的开发过程中起着非常重要的作用,由于手动生成测试用例的效率较低,所花费的时间和费用也较大,已经满足......
为了实现对分布、基于异构平台的企业业务活动的方便、灵活的集成,研究了利用W eb Service技术对分布式工作流进行管理的原型系统......
研究以统一建模语言UML分析设计模型进行系统测试的方法。为了从UML设计模型中的活动图生成测试场景,给出了UML活动图的形式化定义......
