| 一种基于CPN的运行时监控服务交互行为的方法 |
| |
| 引用本文： | 朱俊,郭长国,吴泉源.一种基于CPN的运行时监控服务交互行为的方法[J].计算机研究与发展,2011(12). |
| |
| 作者姓名： | 朱俊 郭长国 吴泉源 |
| |
| 作者单位： | 总参第六十三研究所;国防科学技术大学计算机学院;中国电子设备系统工程公司; |
| |
| 基金项目： | 国家自然科学基金项目(90818028); 国家“八六三”高技术研究发展计划基金项目(2007AA010301); “核高基”国家科技重大专项基金项目(2009ZX01043-002-004) |
| |
| 摘 要： | BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.
|
| 关 键 词： | 运行时监控 Web服务组合 有色Petri网 BPEL 交互行为 |
A Runtime Monitoring Web Services Interaction Behaviors Method Based on CPN |
| |
| Zhu Jun,Guo Changguo, Wu Quanyuan.A Runtime Monitoring Web Services Interaction Behaviors Method Based on CPN[J].Journal of Computer Research and Development,2011(12). |
| |
| Authors: | Zhu Jun Guo Changguo Wu Quanyuan |
| |
| Affiliation: | Zhu Jun1,2,Guo Changguo2,3,and Wu Quanyuan2 1(The 63rd Research Institute of PLA General Staff Headquarters,Nanjing 210007) 2(College of Computer,National University of Defense Technology,Changsha 410073) 3(China Electric Equipment and Systems Engineering Ltd.,Beijing 100039) |
| |
| Abstract: | |
| |
| Keywords: | runtime monitoring Web service composition colored Petri net business process execution language(BPEL) interaction behaviors |
| 本文献已被 CNKI 等数据库收录！ |
