协同业务过程的随机行为分析方法

摘要：

参与组织随机行为是评价业务协同有效实施的一个关键因素.结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法.首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程.其次,提出将参与组织业务过程转换成通信顺序进程(Communication Sequential Pro-cess,CSP)方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型.最后,引入状态迁移模型正则化概念,从理论上证明正则化的状态迁移模型与一个齐次马尔科夫链相对应,进而根据平衡方程求得状态迁移系统中每个状态的稳定概率,以此为基础实现参与组织随机行为分析.通过对电设备采购过程建模与随机行为分析阐述该方法的可行性和有效性.

关键词：协同业务过程、异步消息通信、随机行为、通信顺序进程(CSP)、马尔科夫链

所属期刊栏目：55

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61462095,61702442;云南省自然科学基金2016FB102

在线出版日期：2019-10-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：245-251,265