| 服务协同环境中的业务过程建模与验证 |
| |
| 引用本文： | 符宁,周兴社,詹涛.服务协同环境中的业务过程建模与验证[J].西北工业大学学报,2010,28(4). |
| |
| 作者姓名： | 符宁 周兴社 詹涛 |
| |
| 作者单位： | 1. 西北工业大学计算机学院,陕西,西安,710072;解放军西安政治学院,陕西,西安,710068
2. 西北工业大学计算机学院,陕西,西安,710072 |
| |
| 基金项目： | 国家"863"高技术研究发展计划重大专项基金，"核高基"重大专项基金、国家"863"高技术研究发展计划基金，国家发展与改革委员会项目 |
| |
| 摘 要： | 服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。
|
| 关 键 词： | 服务协同环境 服务协同中间件 业务过程管理 Pi演算 |
Business Process Modeling and Verification under Service Cooperation Environment |
| |
| Fu Ning,Zhou Xingshe,Zhan Tao.Business Process Modeling and Verification under Service Cooperation Environment[J].Journal of Northwestern Polytechnical University,2010,28(4). |
| |
| Authors: | Fu Ning Zhou Xingshe Zhan Tao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
