信牌驱动模型中的工作流模式

目的 评估信牌驱动模型在工作流过程控制流建模方面的表达能力和适用性。方法 基于工作流模式,分析信牌驱动模型中各种模式的实现方式,并与其他过程建模语言进行比较。结果 信牌驱动模型支持绝大多数工作流模式。结论 信牌驱动模型是一种具有很强表达能力的工作流过程定义模型,能够满足广泛的业务需求。

扩展的信牌驱动模型与Petri网

为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证。

扩展的信牌驱动模型中配对结构之研究

在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。

信牌驱动工作流模型中的协同问题

目的在工作流过程模型中描述实际业务过程中的协同问题。方法借鉴CSCW领域的研究成果,在信牌驱动工作流模型的基础上引入会话协作活动和会议协作活动。结果会话活动和会议活动能够有效描述业务过程中的协同行为。结论会话活动和会议活动增强了信牌驱动模型的表达能力和适用性,并且可以作为解决同类问题的参考。

信牌驱动式Web数据采集模型的应用

针对数据源复杂、实时性强、准确性高和数据类型多样的Web空间环境数据采集任务,提出了一个基于Petri网的信牌驱动式Web数据采集模型。首先,通过引入Petri网的基本要素作为模型的理论基础,研究适合于Web数据采集的建模方法;在此基础上,针对模型的具体应用验证,研究了空间环境数据采集任务服务系统(SEDGSS)的架构设计,对数据源配置子系统、任务控制子系统和任务处理子系统进行具体的实现。实验结果表明,该模型实现了自动化机制和回溯校验机制,并具有良好的易配置性、可重用性和扩展灵活性;该系统7×24小时实时抓取254个复杂的数据源任务,目前正承担着自动化、业务化的空间环境数据采集任务以服务于我国空间环境预报。

基于信牌驱动模式的工作流柔性建模的研究

目前大多数工作流系统都不能支持动态可变的柔性特征,而支持动态可变的柔性工作流系统是人们在实际应用中对工作流系统提出的新要求,也是企业为了满足业务流程变更的需要。提高工作流系统的柔性需要从工作流的建模、系统设计等各方面去努力。在协同信牌驱动工作流模式模型的基础上引进了适合该模式的柔性建模的元模型,并且提出了限制该模型的一些规则来讨论基于该模型的柔性建模工作流系统的实现。

一种乐观嵌套工作流事务模型

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。

工作流流程动态仿真技术的研究

对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段,利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真,并通过仿真结果反映缺陷的类型、分布与走势。

“过程”新论

“过程”本是计算机界早期的话题。关于“过程”的研究热潮早已成为过去,很长时间已很少有人谈及“过程”。然而,工作流和业务过程管理系统(BPMS)的出现使“过程”再次成为研究的热点。业务过程管理系统被认为是继工作流技术之后实现业务过程的创建、集成、复用的下一代技术。它在过程的描述、实现方法上用Process把业务流中的控制流、数据流和参与者统一起来。PetriNet是一种很好的描述过程管理的模型,它能够较好地描述系统执行过程中的并行、竞争和同步等特性。本文论述了建立过程模型中遇到的一些新问题,并介绍了一种基于PetriNet扩展后形成的信牌驱动式业务过程模型,和用于解决业务管理中诸多问题的方法和相关研究工作。

针对工作流模式执行约束的解决方案

在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对模式执行约束的支持。首先需要对模式所对应的模型区域进行形式化定义并提供识别该模型区域的算法,提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的策略。

工作流中同步区与异步区的动态修改

在信牌驱动模型中使用同步区/异步区规则旨在解决在不同语义环境下的同步问题。在动态修改中需要解决的一个重要问题便是正确地将同步区修改为异步区或将异步区修改为同步区,即在合适的信牌箱中添加或删除假信牌。深入分析了将同步区修改为异步区及将异步区修改为同步区的策略与算法,并讨论了算法的合理性。最后给出了一些典型的对同步区/异步区进行动态修改的实例。

应用工作流模型对测试管理过程建模

随着软件规模的不断扩大,软件的测试活动日益复杂,使测试组织管理测试活动的难度不断增加,如何对测试活动进行有效的管理,是目前值得深入研究的一个热点。工作流技术为解决复杂的业务过程提出了一个有效的技术方案。因此,通过比较目前较为流行的几种工作流模型的特点,在分析测试管理活动特征的基础上,应用合适的工作流模型,对测试管理进行建模,从而为测试管理活动的评价和改进提供帮助。最后应用该模型,建立了测试管理软件的体系结构。