基于广义随机Petri网的Web服务交互行为-环境模型

被引：12

作者：

朱俊 ^{[1
,2
]}

郭长国 ^{[2
,3
]}

吴泉源 ^{[2
]}

机构：

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

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

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

来源：

计算机研究与发展 | 2012年 / 49卷 / 11期

关键词：

Web服务; 广义随机Petri网; 交互行为; 网络环境; 可靠性; 性能评估;

D O I：

暂无

中图分类号：

TP393.09 [];

学科分类号：

摘要：

在因特网环境下,个体Web服务的可靠性和性能表现都与访问者的地域位置有关,其本质是服务交互行为受到了不可预知的网络环境的影响.而通过协调多个伙伴服务之间的交互操作而实现的服务组合更加容易受到网络环境因素的影响.在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境的影响,将会对模型的评估造成较大的偏差.于是,为了能够真实地评估服务交互行为与网络环境之间的关系,提出了一种基于广义随机Petri网的Web服务"交互行为-环境"模型.该模型不仅引入了伙伴服务的可靠性和性能方面的因素,而且充分考虑真实的网络环境因素.该模型能够对被建模系统进行定性和定量分析,从而指导服务组合方案的优化,评估网络环境对交互行为的影响.最后,进行了案例研究,并深入评估了该实例的可靠性、性能以及交互行为方面的属性.

引用

页码：2450 / 2463

页数：14

共 6 条

[1]

基于Petri网的服务组合故障诊断与处理 [J].

范贵生 ;

虞慧群 ;

陈丽琼 ;

刘冬梅 .

软件学报, 2010, 21 (02) :231-247

[2]

广义随机Petri网下的组合Web服务建模与评价 [J].

门鹏 ;

段振华 .

西安交通大学学报, 2008, (08) :967-971

[3]

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

廖军 ;

谭浩 ;

刘锦德 .

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

[4]

Conformance checking of service behavior [J].

van der Aalst, Wil M. P. ;

Dumas, Marlon ;

Ouyang, Chun ;

Rozinat, Anne ;

Verbeek, Eric .

ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2008, 8 (03)

[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, 2

[6]

Describing and reasoning on Web Services using Process Algebra.[J].Gwen Salaun; Lucas Bordeaux; Marco Schaerf.Int. J. of Business Process Integration and Management.2006, 2

← 1 →