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

针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.     

基于Pi演算的BPMN编排模式

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

基于Pi-演算的工作流模式描述

工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法.Pi-演算是一种进程代数,可以应用于业务流程的形式化建模.本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力.     

基于Pi-Calculus的跨组织工作流建模方法

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范,利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外,利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。     

基于Pi演算的工作控制流模式研究

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表明,该语言不仅能很好地支持工作流模式,而且具有建模。。简洁、准确的特点。     

用Pi演算为业务过程建模的生命周期

随着企业竞争日趋激烈,业务过程建模技术变得越来越重要.由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具有对模型进行形式化分析与验证的整套理论体系.从生命周期的角度入手,探讨如何把形式化方法更有效地应用于商业过程建模.主要工作在于提出了基于Pi演算的生命周期,探讨了生命周期各个阶段使用的技术和工具.     

一种基于Web服务的跨组织工作流模型

传统的工作流应用在一个单独的组织域内取得了巨大的成功,但是跨组织工作流的成功应用却相对较少。分析了跨组织工作流的需求,特别是针对跨组织工作流集成的异构性和自治性的特点,建立了一种跨组织工作流的模型,该模型包括流程模型、接口模型以及交互模型等,较好地解决了跨组织工作流集成的问题。     

Web服务的Pi演算描述

如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代数的角度出发,用 Pi 演算来描述 Web 服务以及 Web 服务的组合。     

复杂分支和同步模式的Pi演算描述

Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。     

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

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

Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment

In an e-service environment, workflow involves not only a single organization but also a number of business partners. Therefore, workflow inter-operability in such an environment is an important issue for enacting workflows. In this article, we introduce our approach of using workflow views as a fundamental support for E-service workflow inter-operability and for controlled visibility of (sub-)workflows by external parties. We discuss various aspects of a workflow view, and their semantics with example usage. Furthermore, we develop a contract model based on workflow views and demonstrate how management of e-contracts can be facilitated, with an Internet start-up E-service inter-organization workflow example.     

跨组织多业务事务建模与验证方法

面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为.在验证过程中,基于等价自动机转换思路集成现有模型检验技术,验证多业务事务是否满足人们需要的各种性质.实验结果表明,该建模与验证方法能够有效地保障多业务流程在设计与实现过程中的正确性.     

Exception Handling for Conflict Resolution in Cross-Organizational Workflows

Workflow management systems (WfMSs) are being increasingly deployed to deliver e-business transactions across organizational boundaries. To ensure a high service quality in such transactions, exception-handling schemes for conflict resolution are needed. The conflicts primarily arise due to failure of a task in workflow execution because of underlying application, or controlling WfMS component failures or insufficient user input. So far, little progress has been reported in addressing conflict resolution in cross-organizational business processes, though its importance has been recognized. In this paper, we identify the exception handling techniques that support conflict resolution in cross-organizational settings. In particular, we propose a novel, bundled exception-handling approach, which supports (1) exception knowledge sharing--sharing exception specifications and handling experiences, (2) coordinated exception handling, and (3) intelligent problem solving--using case based reasoning to reuse exception handing experiences. A prototype of this exception handling mechanism is developed and integrated as a part of the METEOR Workflow Management System. An evaluation of our approach is also presented through some sample workflow applications.     

一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WLnet相关理论,提出有色工作流逻辑网（CWL_net）这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL-net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

支持社会协同计算的跨组织工作流任务分派算法

针对社会协同计算带来的不可靠性和社会网络所固有的大规模性问题,提出了支持社会协同计算的跨组织工作流任务分派优化算法.首先,采用了基于工作流任务子网分层的优化模型,将复杂社会网络图进行有效地划分,从而简化了社会网络成员的协作关系评估问题;然后,根据划分后网络的拓扑特征,设计了一种基于工作流任务子网连接点的快速介数中心性计算方法,以高效地选取跨组织业务项目的领导者;最后,采用基于任务子网划分的最短路径近似算法,实现了快速查找跨组织业务过程的协作成员;并且,理论证明了支持社会协同计算的工作流分派算法的可行性.实验结果表明所提算法大幅降低了社会协同计算的复杂性,保证了较高的准确性,解决了工作流任务成员之间的关系评价和人工团队组合优化的时效性问题,为社会协同计算的任务分派提供了一种新的思路.     

一种提高系统柔性的工作流建模方法研究

针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

Cross-Organizational Transaction Support for E-Services in Virtual Enterprises

In recent years, workflow management systems have become an accepted technology to support automation in process-centric environments. Lately, organizations concentrate more and more on their core business processes while outsourcing supporting processes to other organizations, thereby forming virtual enterprises. The organizations forming the virtual enterprise operate in a B2B e-commerce setting in which provider organizations perform e-services for consumer organizations. To apply workflow management technology in these virtual enterprises, current workflow management systems need to be extended to offer support for cross-organizational processes. Transaction support, already considered an important issue in intra-organizational workflow management systems, must be extended to deal with the cross-organizational aspects as well. This paper presents a high-level, compensation based transaction model and a flexible architecture to support thistransaction model, as required by cross-organizational workflow processes. Characteristic of the model is the flexibility in rollback semantics by combining rollback modes and rollback scopes. This is supported by a dynamically composed architecture that is configured using the agreements that are specified in an electronic contract that has been established between the participating organizations. The transaction model supported by the dynamically composed architecture is implemented in a prototype system, based on commercial workflow management technology.     

面向服务组合的跨组织工作流性能预测与分析*

面向服务的体系结构促进了工作流技术与服务组合技术的结合,为跨组织业务应用开发提供重要技术支撑。针对实时监控到的服务质量属性数据,提出一种基于时间序列的工作流性能分析方法,采用综合自回归移动平均模型来预测工作流的动态性能。当预测到性能值超标时,分析导致工作流性能异常的主要服务,有利于为组合服务提供更加合理的优化服务调整策略。实验结果表明所提出方法的可行性。     

基于Petri网的工作流建模技术及在仿真中的应用

论文给出了将WFMC定义的工作流模型转化为工作流网络的完整框架,以及基于Petri网特性分析法的工作流网络仿真分析方法,并且用实例验证了该方法的可行性。