A Petri Net based runtime monitoring method for Web services specified with BPEL

Author

Zhu, Jun ; Kordon, Fabrice

Author_Institution

Sch. of Comput. Sci., Nat. Univ. of Defense Technol., Changsha, China

fYear

2010

fDate

16-18 April 2010

Firstpage

304

Lastpage

310

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.

Keywords

Petri nets; Web services; business data processing; protocols; BPEL specification; Petri net; Web services protocol; automatically generated runtime monitor; business process execution language; monitor capturing communications; runtime monitoring method; Access protocols; Algebra; Automata; Computer science; Computerized monitoring; Context-aware services; Petri nets; Runtime; Simple object access protocol; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Management and Engineering (ICIME), 2010 The 2nd IEEE International Conference on

Conference_Location

Chengdu

Print_ISBN

978-1-4244-5263-7

Electronic_ISBN

978-1-4244-5265-1

Type

conf

DOI

10.1109/ICIME.2010.5477558

Filename

5477558