基于过程代数的可变业务流程建模方法

• 论文 •

基于过程代数的可变业务流程建模方法

姚青，洪余柯，王海洋

山东大学计算机科学与技术学院，山东济南250100

出版日期:2009-09-15 发布日期:2009-09-25

Modeling of changeable business process based on process algebra

YAO Qing, HONG Yu-ke, WANG Hai-yang

School of Computer Science & Technology, Shandong University, Jinan 250100, China

Online:2009-09-15 Published:2009-09-25

摘要/Abstract

摘要： 为实现灵活的业务流程重组，提出了一种面向流程变化调整的业务流程模型。该模型从业务逻辑中抽取出流程相关性语义，用连接器的模式来实现一种可配置的流程属性。业务人员可以通过调整模型中的连接器对流程进行重新配置，从而实现业务流程重组的软件调整。给出了模型的过程代数描述，并介绍了建模步骤和流程调整方法。最后，以机场塔台调度流程的建模和调整过程为例，对相关问题进行了讨论。

关键词: 过程代数, 业务流程模型, 流程调整, 模型验证, 业务流程管理

Abstract: To achieve flexible business process reconstructuring, a new business process model oriented to process change adjustment was proposed. Relevant semantics were extracted from business logic to realize a configurable process property through a connector mode. The software model could be adjusted to work for the business process re-engineering by modulating the connectors. Definition of the business process model was provided by process algebra. The modeling steps and process adjustment methods were also introduced. An example of control tower scheduler was given to reveal process modeling and adjustment process. Related issues were also discussed.

Key words: process algebra, business process model, process change, model verification, business process management

中图分类号:

TP311

姚青，洪余柯，王海洋. 基于过程代数的可变业务流程建模方法[J]. .

YAO Qing, HONG Yu-ke, WANG Hai-yang. Modeling of changeable business process based on process algebra[J]. .

[1]	郜启凯,李莹,邓水光. 支持跨组织协作的高可靠性服务编排框架[J]. 计算机集成制造系统, 2021, 27(9): 2501-2507.
[2]	唐玄昭,余阳,吴荆璞,潘茂林. 基于区块链的业务流程互操作服务框架[J]. 计算机集成制造系统, 2021, 27(9): 2508-2516.
[3]	孙笑笑,侯文杰,沈沪军,应钰柯,俞东进. 基于上下文感知的多角度业务流程在线异常检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2532-2541.
[4]	闫志强,杨翰宇,程冠杰,刘洪荣,邓水光,刘冠宇,杨明. 基于区块链的服务质量综合评估框架与算法[J]. 计算机集成制造系统, 2021, 27(9): 2708-2720.
[5]	林雷蕾,闻立杰,周华,裴继升,代飞,郑灿彬. 基于日志完备性的过程漂移检测方法[J]. 计算机集成制造系统, 2019, 25(第4): 873-881.
[6]	黄秋波,钱玉潇,刘国华. 业务流程管理中基于规格属性及索引机制的服务匹配算法[J]. 计算机集成制造系统, 2019, 25(第4): 939-945.
[7]	孙笑笑,张蕾,俞东进,潘建梁,侯文杰,王焕强. 基于依赖关联度的业务过程噪声日志过滤方法[J]. 计算机集成制造系统, 2019, 25(第4): 969-977.
[8]	闫志强,李少鹏,胡磊,闻立杰,刘从屹,高迎,陈一,刘克强. 标签匹配方法对业务流程模型相似性影响的分析[J]. 计算机集成制造系统, 2019, 25(第4): 985-992.
[9]	郑婷婷,陈洁璇,许洋,余阳,潘茂林. 业务流程中一种个性化的任务完成时间预测方法[J]. 计算机集成制造系统, 2019, 25(第4): 993-1000.
[10]	曹蕊,方贤文,王丽丽,方欢. 数据意识下的条件不频繁行为挖掘与优化[J]. 计算机集成制造系统, 2018, 24(第7): 1671-1679.
[11]	侯晨煜,曹斌,王佳星,范菁. 基于独立路径的流程差别检测算法[J]. 计算机集成制造系统, 2018, 24(第7): 1766-1773.
[12]	林雷蕾,周华,代飞,闻立杰,莫启. 一种挖掘二度循环的扩展Alpha算法[J]. 计算机集成制造系统, 2018, 24(第3): 591-601.
[13]	叶岩明,赵治稳,管力明,张海平,周梦熊. 基于博弈的业务流程动态任务分配方法[J]. 计算机集成制造系统, 2017, 23(第5期): 1007-1013.
[14]	刘海滨,刘国华,方巍,柴朝华,谢会芹. 以Artifact为中心的业务流程扩展二部图模型及其相似性度量方法[J]. 计算机集成制造系统, 2017, 23(第5期): 1050-1059.
[15]	刘海涛,赵卫东. 基于知识模式挖掘的流程知识推荐系统[J]. 计算机集成制造系统, 2017, 23(第2期): 396-403.