扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

基于UML活动图的测试用例生成方法设计

传统的软件测试主要依赖人工来产生测试用例,易出错、完备性差、自动化程度低。为了提高测试的完备性和自动化程度,基于模型的测试越来越受到人们的关注,这种方法的优点在于可以及早的发现缺陷,缩短开发时间。文章提出一种基于统一建模语言（Unified Modeling Language,UML）活动图模型生成测试用例的方法,结合实例重点介绍测试路径生成的具体步骤。根据该方法生成的测试用例,可以自动生成测试路径,提高了测试的完备性和自动化程度。     

基于UML活动图的进程关系模型恢复方法

针对UNIX平台上的分布、并发的软件系统,提出了基于UML活动图的进程关系模型恢复方法.分析了UNIX平台支持的进程间关系,在此基础上提出了需要获取的动态信息,给出了用UML活动图表示进程关系模型的方法,并用一个实际的软件系统进行实验验证.实验结果表明:逆向恢复出来的进程关系模型具有直观、形象的效果,能够帮助用户更好地理解系统.     

基于时间Petri网的交互式多媒体动态同步模型

多媒体同步是多媒体信息系统的关键技术和基础。本文在克服当前多媒体同步模型局限性的基础上，提出了一个新的基于时间Petri网的多媒体同步模型IDSM。该模型以形式化的方式完整、准确地描述了多媒体信息流的动态时间行为。     

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

时间约束Petri网的可调度分析决策算法

时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。目前有关ＴＣＰＮ’ｓ可调生分析的研究仅局限于一些较简单的网,文章通过对ＴＣＰＮ’ｓ的进一步研究,给出了更一般的变中调度决策算法。     

基于遗传算法的UML活动图测试用例优化研究

测试用例的选择在软件测试中十分重要,良好的测试用例可以减少时间和资源的使用,因此提出了一种基于遗传算法的UML活动图自动生成测试用例的算法。通过建立UML活动图模型,将活动图转换为有向图,然后采用深度优先搜索方法获得测试路径,应用遗传算法优化得到测试路径。该算法可以提供优先需要测试的路径,用于自动生成高质量的测试用例,提高测试任务的工作效率。     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

随机Petri网同步并发行为的定量分析方法

传统的随机Ｐｅｔｒｉ网定量分析都是针对顺序行为的，而并发描述却是Ｐｅｔｒｉ网引以为骄傲的内容，这就形成Ｐｅｔｒｉ擅长描述并发，却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Ｐｅｔｒｉ网定量分析法，旨在改进传统的分析方法，使Ｐｅｔｒｉ网真正成为并发系统建模与分析的有力工具。     

基于UML的无线网络镜像模型

镜像能够复现真实的网络环境,帮助开发人员定位系统中的错误以及发现潜在的问题。作为软件工程的标准建模语言,UML可以用于对实际问题进行建模和分析。使用UML对无线网络设备进行建模,并利用UML活动图给出了实际网络微缩镜像算法。基于此方法可以快速地构造高仿真的网络镜像,既压缩了网络规模又能保持网络的重要特征。     

基于UML顺序图及类图的功能点度量

在所有的功能规模度量方法中，国际功能点用户组的功能点分析（Function Point Analysis）方法得到了广泛的应用和业界的认可。但该方法为手工操作，因其主观性使估算结果因人而异，重复性差。针对这些情况，提出了一种改进方法，使用UML（Unified Modeling Language）建模技术中的顺序图及类图，定义了从UML中计算FPA的映射规则，进行功能点分析，从而较客观、自动化的度量功能点。     

基于实时UML的雷达软件设计

实时统一建模语言（UML）和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试，并讨论了如何选择UML工具与实时框架以及实时性分析等问题。     

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

为了研究较好的软件建模方法,运用UML中的5种图对面向对象建模的方法进行讨论及技术研究,提出如下建模过程：首先是系统需求;随后分析问题领域,建立系统的用例图;接着,建立系统的静态结构模型,并将系统的功能需求分解到各个对象类,以确定各个对象类的责任;然后,建立系统的动态行为模型;最后,给出物理模型。通过实例,对UML的面向对象建模机制做了系统概述,表明UML是一种优秀的建模语言,使用UML有助于开发者对整个系统有清晰的认识,从而建立各种系统模型,为后期编码工作做好充分的前期准备。     

基于UML的面向对象软件回归测试研究

研究了UML图及事物间的关系,提出了基于UML的面向对象软件回归测试技术,它能有效地控制测试范围和缩减测试用例,帮助软件测试人员在不增加测试风险的情况下选择合适的测试用例和减少测试量,提高软件回归测试的有效性和降低软件测试成本.     

基于UML的工作流建模研究与应用

UML建模是工作流建模的一种重要方法，过程建模又是工作流建模的核心和基础。本文给出一个工作流元模型的定义、扩展了UML中活动的概念及其符号表示，明确区分工作流系统内部活动的执行和外部因素的参与，使模型在建立阶段的过程定义与运行阶段的过程控制更一致。     

利用UML模型设计EJB组件

利用UML模型来研制EJB组件是目前比较先进的方法。给出了从UML模型到EJB组件模型的转换过程，并以漏洞检测中间件的开发为例，介绍了利用UML模型设计和开发EJB组件的相关技术和开发过程。     

一种UML2．0模型动态特性的一致性验证方法

近年来，UML已经被广泛应用于软件的分析和设计，然而，由于软件系统的复杂性，在UML模型中，难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2．0模型状态图和顺序图一致性的方法。首先，用XYZ／E来形式化描述状态图并将其转化为Promela输入语言；然后，用LTL来表示顺序图间的相互作用；最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。