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

Jun Zhu , Fabrice Kordon (1)

1 MoVe - Modélisation et Vérification

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.

Domaines: Informatique [cs]

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⟩