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

    分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2018-05-18 合作期刊: 《计算机应用研究》

    摘要: 参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔可夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,并通过引入异步消息通信,建模参与组织间的协同业务过程;其次,将参与组织业务过程和对应的协同业务过程转换成由通信顺序进程进程(communication sequential process,CSP)定义的进程代数,并根据CSP的操作语义,构造出协同业务过程对应的状态迁移系统;最后,引入正则化概念,从理论上证明正则化的状态迁移系统与一个齐次马尔可夫链相对应,根据平衡方程求得状态迁移系统中每个状态的稳定概率。通过马尔可夫链的分析技术,实现了对业务协同过程的随机行为分析。案例说明了所提方法的可行性和有效性。