Web环境下基于协议组合代数的业务流程整合方法

摘要

采用协议对基于Web的业务流程建模是当前研究的一个新方向。本文采用基于交互的协议对业务流程建模, 提出了一个业务协议组合代数, 构造了一组协议组合算子, 并证明了该代数的一些相关性质；对协议的相似性进行了分析, 为替换协议的选择奠定了基础。