DocumentCode :
1646083
Title :
Detecting Data Inconsistency Failure of Composite Web Services Through Parametric Stateful Aspect
Author :
Wu, Guoquan ; Wei, Jun ; Ye, Chunyang ; Zhong, Hua ; Huang, Tao
Author_Institution :
Technol. Center of Software Eng., Acad. of Sci., Beijing, China
fYear :
2010
Firstpage :
68
Lastpage :
75
Abstract :
Runtime monitoring of Web service compositions with WS-BPEL has been widely acknowledged as a significant approach to understand and guarantee the quality of services. However, most existing monitoring technologies only track patterns related to the execution of an individual process. As a result, the possible inconsistency failure caused by implicit interactions among concurrent process instances cannot be detected. To address this issue, this paper proposes an approach to specify the behavior properties related to shared resources for web service compositions and verify their consistency with the aid of a parametric stateful aspect extension to WS-BPEL. Parameters are introduced in pattern specification, which allows monitoring not only events but also their values bound to the parameters at runtime to keep track of data flow among concurrent process instances. An efficient implementation is also provided to reduce the runtime overhead of monitoring and event observation. Our experiments show that the proposed approach is promising.
Keywords :
Web services; concurrency control; formal specification; quality of service; system monitoring; WS-BPEL; Web service composition; behavior property specification; composite Web services; concurrent process instances; data inconsistency failure detection; event observation; parametric stateful aspect; pattern specification; quality of services; runtime monitoring; Automata; Engines; Filtering; Manufacturing processes; Monitoring; Runtime; Web services; Aspect-oriented Programming; Runtime monitoring; WS-BPEL;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Web Services (ICWS), 2010 IEEE International Conference on
Conference_Location :
Miami, FL
Print_ISBN :
978-1-4244-8146-0
Electronic_ISBN :
978-0-7695-4128-0
Type :
conf
DOI :
10.1109/ICWS.2010.29
Filename :
5552802
Link To Document :
بازگشت