Title :
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
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;
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
DOI :
10.1109/ICIME.2010.5477558
