服务协同环境中的业务过程建模与验证

摘要

服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境.文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题.提出一种从用户设计界面有向图到服务过程表达式的生成算法.同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题.