A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL - Archive ouverte HAL Access content directly
Conference Papers Year :

A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL

Jun Zhu
  • Function : Author
Fabrice Kordon

Abstract

BPEL (Business Process Execution Language) is one of the dominant ways to specify interactions between Web services. However, it is difficult to deal with behavioral properties of web services. Typically, well defined protocols may be violated by clients, thus leading servers to inconsistent states. In this paper, we propose to tackle this problem thanks to an automatically generated runtime monitor from the BPEL specification. First, we extract a web service protocol from its specification. Then we generate a monitor capturing communications from/to the server and detecting inappropriate use of this protocol.

Dates and versions

hal-01292580 , version 1 (23-03-2016)

Identifiers

Cite

Jun Zhu, Fabrice Kordon. A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL. 2nd International Conference on Information Management and Engineering (ICIME 2010), Apr 2010, Chengdu, China. pp.304-310, ⟨10.1109/ICIME.2010.5477558⟩. ⟨hal-01292580⟩
49 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More