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

来源：计算机工程与应用杂志2019年第3期北京时间：

作者：赵 莹1，潘 华2，孙金艳2，莫 启3，代 飞4

单位：1.云南电力调度控制中心，昆明 650011；2.云南云电同方科技有限公司，昆明 650217；3.云南大学 软件学院，昆明 650091；4.西南林业大学 大数据与智能工程学院，昆明 650224

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

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