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