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

作     者：符宁 周兴社 詹涛 Fu Ning;Zhou Xingshe;Zhan Tao

作者机构：西北工业大学计算机学院陕西西安710072 解放军西安政治学院陕西西安710068 

基　　金：国家"863"高技术研究发展计划重大专项基金(2009AA010308) 国家"863"高技术研究发展计划基金(2006AA01Z162) "核高基"重大专项基金 国家发展与改革委员会项目(20052139)资助 

出 版 物：《西北工业大学学报》 (Journal of Northwestern Polytechnical University)

年 卷 期：2010年第28卷第4期

页      码：591-596页

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

主 题 词：服务协同环境 服务协同中间件 业务过程管理 Pi演算 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 0835[0835] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3969/j.issn.1000-2758.2010.04.022

馆 藏 号：203733725...