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

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

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

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

面向跨组织业务流程的服务组合策略

动态服务组合为跨组织业务流程的快速开发提供了重要技术支撑.传统的集中规划的组合方式不能很好适应开放环境所提要求.提出一种基于分布式层次任务网络的服务组合策略,分析了实现该策略的组件的结构和功能,并定义组件间的Web服务接口,给出该策略下跨组织流程的开发方式,并以应用实例说明该策略对开放组织之间业务流程开发的有效支持.     

一种面向业务流程模型的仿真验证方法

基于SOA软件构架成为分布式解决方案的主流技术,业务流程模型是SOA系统设计的核心,其是否存在缺陷对系统具有重要影响,因此,如何对业务流程进行验证成为一个关键问题。本文围绕业务流程模型验证需求,针对异构模型的联合仿真问题,提出基于HLA的业务流程模型仿真验证框架,通过对业务流程和网络部署进行仿真,有效对业务流程的功能和时间特性进行验证。相关实验表明,本文提出的方法能够有效发现业务流程中存在的设计缺陷。     

面向业务流程的数据模型异常检测方法

当前,流程驱动的信息系统构建方式得到了越来越广泛的应用.在流程驱动的方式中,流程模型对数据模型有着不可忽视的影响.但是当前的数据模型异常检测方法都是针对数据模型本身的特点而未考虑流程模型.同样,流程模型的验证方法也缺乏对数据模型的考虑.文中提出并分析了面向业务流程的数据模型的异常问题,并给出了其3种基本类型.为了检测这些异常,文中提出了Data-process Graph(DP-Graph)模型,将数据模型和流程模型放在统一的架构下进行研究.而后,基于DP-Graph,文中提出了DPGT算法,有效地实现了面向业务流程的数据模型异常检测.文章中的实验结果验证了DPGT算法对于这些异常的高检出率.     

基于时间Ambient演算的业务流程模型验证

Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达.通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻辑.基于DTMA演算及其模态逻辑的子集给出了模型验证算法,提出了一种对BPEL4WS程序的形式化建模方法,实现了业务流程的活动可达性的模型验证.     

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

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

适用于CRM系统的PI演算的业务流程建模

首先提出适用于客户关系管理CRM（Customer Relationship Management）系统业务流程的PI演算的建模方法,对业务流程建模热点问题进行研究,解决了CRM系统建模中的数据冲突问题并用一个例子来说明建模的过程,然后对文中所建模型进行完整的验证。这样将大大降低软件的开发风险,优化系统的业务流程。     

一种基于Prolog的时间约束业务流程验证方法

随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。     

使用Pi演算的构件交互可信性验证模型

为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。     

分离业务规则和过程流的业务过程模型研究

针对动态环境中业务逻辑的不断变化,通过业务规则和过程流分别描述业务过程中的易变和相对稳定业务逻辑,构建了业务过程模型BPM4DBL（Business Process Model for Dynamic Business Logic）。模型引入了活动、规则和事件元素,定义了分离业务规则和过程流的元组表达,并且给出了业务规则和过程流之间的耦合策略。最后,给出了一个BPM4DBL的具体应用实例。     

一种分离业务规则的灵活业务过程建模方法

针对动态环境中业务应用的不断变化,将易变的业务逻辑从过程控制结构中分离,并且通过业务规则的声明性表达式描述,由此构建了业务过程模型BPM4DBL(Business Process Model for Dynamic Business Logic)。在建立规则元素的模型定义后,给出了业务规则的定义、分类和可执行语言描述,最后给出一个BPM4DBL的具体应用实例。     

A conceptual framework for understanding business processes and business process modelling

It is increasingly common to describe organizations as sets of business processes that can be analysed and improved by approaches such as business process modelling. Successful business process modelling relies on an adequate view of the nature of business processes, but there is a surprising divergence of opinion about the nature of these processes. This paper proposes a conceptual framework to organize different views of business processes under four headings. It also aims at providing an integrated discussion of the different streams of thought, their strengths and limitations, within business process modelling. It argues that the multifaceted nature of business processes calls for pluralistic and multidisciplinary modelling approaches.     

面向业务人员的动态业务过程改变方法

针对目前业务过程修改和实例迁移系统对使用者的技术背景要求较高的问题,提出了一个面向业务人员的动态业务过程改变方法,进行了一致性分析,并给出了业务过程设计器。业务过程设计器基于业务过程模型和符号2.0规范。该规范易于业务分析人员掌握及建模,并具有可执行语义。针对由于业务过程重组导致的业务过程改变的常见模式,提出了业务过程改变操作类型。业务过程设计器支持业务过程改变操作类型,将IT人员解放出来,降低了业务人员与IT人员交流的成本。     

Conformance checking and diagnosis for declarative business process models in data-aware scenarios

A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational processes involving humans, organizations, applications, and other sources of information. Since the accurate management of BPs is receiving increasing attention, conformance checking, i.e., verifying whether the observed behavior matches a modelled behavior, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, whereas there exist solid conformance checking techniques for imperative models, little work has been conducted for declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any related diagnostics. To enhance the accurate management of flexible BPs, this work presents a constraint-based approach for conformance checking over declarative BP models (including both control-flow and data perspectives). In addition, two constraint-based proposals for providing related diagnosis are detailed. To demonstrate both the effectiveness and the efficiency of the proposed approaches, the analysis of different performance measures related to a wide diversified set of test models of varying complexity has been performed.     

Business process management—the third wave: business process modelling language (bpml) and its pi-calculus foundations

This paper introduces the ideas behind BPML, the business process modelling language published by BPMI. BPML provides a process-centric (as opposed to a datacentric) metalanguage and execution model for business systems. It is underpinned by a strong mathematical foundation, the pi-calculus. The current paper is derived from supplementary appendices to a book which describes a ‘third wave’ approach to business process management [Business Process Management: The Third Wave, 2003]. The aim is to model business processes directly in an executable form, so that the mobility and mutability inherent in business behaviour is reflected and supported in the corresponding IT systems, erasing the present IT-business divide.     

Incorporating structural improvement into resource allocation for business process execution planning

Resource management has been recognised as an important topic for business process execution for a long time. Most existing works on resource allocation for business processes simply assume that the structure of a business process is always fixed, and therefore do not discuss the possibility of optimising resource allocation by adapting process structures to actual resource situations. To fill this gap, we propose a resource optimisation approach of improving process structures according to resource situations and thereby pursuing the best resource utilisation efficiency. This approach comprises a role‐based business process model for resource allocation and the strategies for optimising resource allocation in conjunction with a business process improvement. A set of heuristic rules are established to guide the resource allocation for the purposes of preventing resource conflicts, shortening the total execution time, minimising the total cost, etc. Particular algorithms are also developed to implement the resource allocation according to these rules. In addition, an experimental study is conducted to discuss the incorporation of business process improvement into resource allocation for optimal process execution. Copyright © 2012 John Wiley & Sons, Ltd.     

一种基于模型精化的业务流程开发方法

如何高效组织建模过程和提高业务流程的重用效率是现代业务流程建模和再造过程中亟待解决的问题。传统的业务流程建模方法面向角色组织建模人员、面向单一实例组织流程制品,无法有效组织多人协作、降低流程重用成本。讨论了基于模型精化的流程建模方法,该方法基于流程模型的抽象级别组织建模人员和流程制品。研究还设计实现了使用该方法进行流程开发的分布式业务流程开发平台DMRB-BPMA,用于帮助企业规范和优化建模过程,通过内置的任务分发和流程合并机制有效地组织建模人员进行协作,指导其高效完成业务流程制品的重用。     

工作流管理系统的流程柔性动态变更研究

为解决工作流管理系统中流程柔性演进变化问题,结合业务模型生命周期和业务流程模型变更管理的特点,提出了一个支持业务流程动态更新模型和业务流程实例动态迁移算法。在该算法中引入区域划分法,在迁移之前进行相关数据一致性检查和影响区域比较,通过该算法实现流程实例动态调整,以适应新的变种。最后基于该算法和一工作流管理系统平台,通过一个案例来演示业务流程动态更新的过程。     

业务流程中目标的可视化建模方法研究

从业务流程可视化建模的目的出发,对业务流程中的目标描述和表示方法进行研究,以使得业务人员能从直观的角度对业务流程中目标的执行有一个合理的设计。提出了一种利用目标树实现业务目标设计视图的建模方法,该目标视图将是进一步进行业务流程设计的基础。依据客户的需求目标树和业务规则,检索业务目标模板知识库,提取符合要求的目标模板,在业务人员的参与下生成目标视图,使用一致性算法对整个生成过程进行校验。