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

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

一个组织间松散耦合跨组织工作流的仿真模型

为了解决松散耦合跨组织工作流的仿真建模问题,以染色Petri网为理论基础,将颜色集、染色函数、资源库所、等待库所、忙库所、开始变迁、结束变迁、角色、组织、时间函数、资源函数和变迁函数引入到IOWF(inter-organizationalworkflow),提出了染色多维跨组织工作流网CMD/IOWF(coloredmulti-dimension/IOWF).基于CMD/IOWF,讨论了组织间松散耦合跨组织工作流中多个不同项目工作流实例通过资源共享和活动同步相互耦合以及与仿真相关的资源约束和时间的建模问题.通过定义输入/输出、状态、事件、时间推进函数和状态转移函数,给出了一个组织间松散耦合的多个跨组织工作流的仿真模型.基于该模型的仿真分析可以求解组织间松散耦合跨组织工作流的关键性能指标,包括对应项目工作流实例的平均执行时间、平均执行成本及其关于组织的分布,各项目的资源利用率.最后,以一个实例验证了提出模型的有效性.

跨组织工作流模型的形式化描述及分析

Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程,提出基于着色Petri网的跨组织工作流模型的形式化描述,并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析,最后举例说明。另外,一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。

基于服务的跨组织工作流时间模型

分析了基于服务的工作流与传统工作流在流程自治性和动态性上的不同点,提出了一种基于服务的工作流时间模型.该模型将流程分为公开和私有两部分:私有部分是流程的详细实现,包含了流程的结构信息和时间信息;公开部分是流程的简化形式,只包含了流程的接口活动以及接口之间的时间约束信息.设计了一个具有多项式时间复杂度的算法从流程私有部分自动生成相应的公开部分.该工作流时间模型避免了由于流程以黑盒方式发布所造成的时间信息被屏蔽的缺点.利用该工作流时间模型对企业流程进行时间建模,不仅可以满足时间管理的要求,还保证了流程的安全性.

基于事件-状态-过程规则的跨组织工作流协同方法

目前跨组织工作流协同建模时,各个组织内业务模型的独立性和隐私性较差,"全局"协同模型的柔性不好,且缺乏描述协作活动之间细粒度操作语义。依据协调理论的思想,提出了一种基于事件-状态-过程规则的跨组织工作流协同方法,其核心是采用事件-状态-过程规则形式表达的协同工作流来控制和协调多个组织内业务流程的运行。该方法中的业务工作流程仅曝露需要交互的活动,从而保证了其独立性和隐私性。同时,协同工作流由一系列具有细粒度操作语义的协同活动组成,并且基于事件-状态-过程规则的形式,可进行灵活的定义和删除,具有较好的柔性。

基于角色的跨组织工作流研究

跨组织流程的管理已成为电子商务的一个主题。作为提高企业运作效率的协调技术 ,跨组织工作流管理系统需要适应企业之间异类工作流的互联。从角色及其交互角度研究跨组织工作流 ,结合以活动和角色描述工作流的优点 ,针对传统的工作流模型淡化了参与者之间的交互 ,没有一致的概念模型 。

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

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

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

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

虚拟配送中心跨组织工作流协同研究

虚拟配送通常由多个成员企业共同完成,因此,其工作流系统需要高级的控制和协同机制,以满足柔性和自适应性的需求。讨论了基于元工作流和ESP规则的跨组织工作流的控制和协同框架,并用一个例子来说明该框架的特征。

一种基于服务的跨组织工作流管理系统的研究与实现

传统的工作流应用在一个单独的组织域内部取得了巨大的成功,但是跨组织工作流的成功应用却相对较少。该文简单分析了跨组织工作流的需求,尤其是针对跨组织工作流的自治性和集成的应用的异构性等特点,提出并研制了一个跨组织工作流管理系统。该工作流管理系统可以分为定义时和运行时两个组成部分,包括建模工具、工作流引擎、监控工具、对外网关以及已有应用适配器等组成部分,文章介绍了工作流管理系统的体系结构,并进一步介绍了各个组成部分的实现机制。

基于ESP规则的跨组织工作流协同模型

跨组织工作流系统需要高级的控制和协同机制,以满足柔性和自适应性的需求。本文讨论了基于元工作流和ESP规则的跨组织工作流的控制和协同框架。

基于主动工作流视图的跨组织工作流管理和监控

跨组织工作流可以有效的利用不同企业的资源,提高企业的生产率,因而得到了越来越广泛的应用。如何使企业在增强对外交互能力的同时,保护企业内部的敏感信息,是跨组织工作流应用中的重要问题。工作流视图能有选择的隐藏企业私有工作流的细节,同时对外提供面向过程的接口,是一种有效的实现跨组织工作流的方法。在引入主动工作流视图概念的基础上,提出基于主动工作流视图的跨组织工作流管理和监控的体系结构,探讨了跨组织工作流的主动监控及其实现。

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

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

跨组织工作流的动态协同技术研究

跨组织的工作流致力于跨越组织边界进行业务重组。针对多个组织间动态协同的复杂性,在组织间协作过程中必须考虑对组织的隐私信息、已建立的工作流和已建立的工作流管理系统的保护,解决成员间进行信息共享时出现的问题,从而真正实现协同商务。为满足这些需求,提出了基于视图的方法,这个方法考虑了工作流和资源的部分可见性,不同程度的可见性可以使企业保持其内部工作流隐私和安全性所需的水平,从而把工作流的可见性降低到合作所需的最低水平。研究的目的是使得组织在增强对外交互能力的同时,保护组织内部的敏感信息。

跨组织工作流系统的层次总线体系结构风格

在工作流领域,分布式工作流技术逐渐成为研究重点.作为其中一个分支,跨组织的工作流系统强调业务过程在多个组织中的分布结构,这些过程交互协作,共同完成业务目标.本文针对跨组织工作流系统的特点和存在的问题,提出了一种层次总线体系结构风格.该风格可以体现过程交互的本质特征.本文重点规约了该风格中的构件、连接件以及体系结构描述方法,并给出了一个应用实例.

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

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

基于角色的动态跨组织商业过程的工作流研究

从角色及其交互的角度描述跨组织工作流.提出角色视图的概念,将工作流管理系统之间的直接交互转化为角色视图层上的协作,实现了角色之间的过程协作,并支持动态跨组织的商业过程.用例表明,在跨组织工作流系统中加入角色视图层,能较好地解决动态跨组织商业过程问题.

一种面向移动商务的跨组织工作流建模方法

移动商务的兴起,为工作流管理带来新的研究问题。提出一个跨组织工作流分析框架用于对移动商务下的工作流进行分析。以中国移动SP准入管理和WAP增值服务访问流程为案例,通过面向对象Petri网对我国移动商务跨组织工作流进行应用建模。站在运营商的角度,构造SP准入过程对象通讯网,通过P不变量和T不变量验证模型对流程描述的正确性和有效性。

基于Petri网的跨组织应急联动处置系统建模与分析

应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系;在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模;最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案.

动态联盟成员间工作流协同中的语义冲突消解

动态联盟由于其成员的自主性和异构性必然导致流程的异构性和冲突的产生。如何检测和消解跨组织工作流中的语义冲突也就成为了近年来相关研究的主要课题。在分析了前人相关研究的基础上,分析了动态联盟成员间工作流协同条件下语义冲突的主要类型,并通过基于本体的方法实现了主要对模式层的语义冲突的检测和消解,最后以C#.Net和OWL为技术平台实现了系统原型。