基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.     

基于Pi-演算的WS-CDL编舞的描述和验证

WS-CDL从全局的观点定义了P2P协作实体通用的外部行为,这些外部行为以消息交换序列的形式来达到一个共同的交易目的。尽管WS-CDL声称是基于Pi-演算的,但是证明Pi-演算在建模WS-CDL的效力上做的实质性工作并不多。因此,提出了一种基于Pi-演算的方法来形式化并且验证WS-CDL编舞。该方法可以保证WS-CDL编舞的正确性以降低由于Web服务执行的失败带来的开销。这一方法提高了部署的效率,降低了实现和调用不合适Web服务的风险。论文的贡献可以归纳为以下三点：首先,用Pi-演算形式化WS-CDL的语义信息;其次,形式化的有效性已确认,重要的属性都在形式化后得到验证。第三,用一个具体的交易场景验证WS-CDL模型设计的可靠性。     

基于π演算的多实例工作流模式的建模方法

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确.     

基于Pi-演算的Web服务组合的描述和验证

形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向．对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的．Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模．该文基于Pi-演算对Web服务及其组合进行形式化描述和建模．文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题．讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道．最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证．     

基于Pi演算的跨组织工作流建模研究

传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.     

工作流模式的π演算形式化

为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述.     

工作流模式的π演算建模研究

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。     

基于Pi-演算的信任Web服务组合建模

为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互.首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系.借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求.     

基于类型化Pi-演算的Web服务组合相容性检测

定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEIAWS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性。     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

基于Pi演算的BPMN编排模式

针对业务流程建模标记（BPMN）无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。     

基于WEB的工作流系统研究与实现

企业经营规模的不断扩大使得传统工作流系统不能适应企业分布式经营的需求,但却促进了基于WEB的工作流系统技术的发展,在此基础上提出了基于.NET3.0的WEB工作流系统,分析了工作流技术的工作原理,给出了工作流元素的相关定义,并在此基础上设计了系统的架构,最后实现了一个企业业务流程的实例。     

基于工作流模式的OWL-S过程模型分析及其应用

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述web服务之间交互协议的能力及缺陷;在此基础上,设计并实现基于OWL-S的组合web服务执行工具,通过验证Web服务调用的有效性及Web服务之间交互协议的有效性,提高组合Web服务执行的健壮性。     

基于Pi-演算的BPEL4WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services,BPEL4WS）,定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

工作流挖掘：一种新型工作流自动化建模方法

为解决传统工作流建模方式主观性强、效率低以及成本高等问题，出现一种从工作流日志中自动化推导工作流模型的建模方法，又称工作流挖掘。这种新方法在国际上还处于研究初级阶段，但已引起广泛关注。该文对当前主要研究学者的工作及挖掘算法进行总结，介绍了两种不同类型挖掘算法的具体建模过程，并对其性能进行比较分析，用实例进行解释说明。     

浅谈工作流在业务过程中的应用

工作流是一个业务过程的全部或部分自动执行,现在的企业基本上都有自己的工作流管理系统。通过对工作流的探讨分析以及一个简单的费用报销过程实例,体现工作流管理系统在业务过程应用的重要性。     

基于Web的工作流管理系统

工作流技术既体现了企业管理计算机化的趋势,又突出了经营过程的重要性,已经成为当前企业管理的一个理想模式。从理论上阐述了工作流和工作流管理系统的概念,研究了一种以企业业务流程为中心的工作流模型,结合J2EE技术,提出了系统的实现框架。     

基于Pi演算的Web服务组合过程框架

文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法。