一种基于CPN的运行时监控服务交互行为的方法

被引：9

作者：

朱俊 ^{[1
,2
]}

郭长国 ^{[2
,3
]}

吴泉源 ^{[2
]}

机构：

[1] 总参第六十三研究所

[2] 国防科学技术大学计算机学院

[3] 中国电子设备系统工程公司

来源：

计算机研究与发展 | 2011年 / 12期

关键词：

运行时监控; Web服务组合; 有色Petri网; BPEL; 交互行为;

D O I：

暂无

中图分类号：

TP393.09 [];

学科分类号：

摘要：

BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.

引用

页码：2277 / 2289

页数：13

共 5 条

[1]

着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 [J].

门鹏 ;

段振华 .

计算机研究与发展, 2009, 46 (08) :1294-1303

[2]

一种基于扩展有限自动机验证组合Web服务的方法 [J].

雷丽晖 ;

段振华 .

软件学报, 2007, (12) :2980-2990

[3]

基于Pi-演算的Web服务组合的描述和验证 [J].

廖军 ;

谭浩 ;

刘锦德 .

计算机学报, 2005, (04) :635-643

[4]

Conformance checking of service behavior[J] Wil M. P. van der Aalst;Marlon Dumas;Chun Ouyang;Anne Rozinat;Eric Verbeek ACM Transactions on Internet Technology (TOIT) 2008,

[5]

Formal semantics and analysis of control flow in WS-BPEL[J] Chun Ouyang;Eric Verbeek;Wil M.P. van der Aalst;Stephan Breutel;Marlon Dumas;Arthur H.M. ter Hofstede Science of Computer Programming 2007,

← 1 →