The Community for Technology Leaders
2011 IEEE International Conference on Web Services (2011)
Washington, DC USA
July 4, 2011 to July 9, 2011
ISBN: 978-0-7695-4463-2
pp: 161-170
ABSTRACT
Runtime monitoring of Web service compositions has been widely acknowledged as a significant approach to understand and guarantee the quality of services. However, existing runtime monitoring solutions consider only the constraints on the sequence of messages exchanged between partner services and ignore the actual data contents inside the messages. As a result, it is difficult to monitor some dynamic properties such as how message data of interest is processed between different participants. To address this issue, we propose an efficient, non-intrusive online monitoring approach to dynamically analyze data-centric properties for service-oriented applications involving multiple participants. By introducing Par-BCL - a Parametric Behavior Constraint Language for web services - to define monitoring parameters, various data-centric temporal behavior properties for Web services can be specified and monitored. This approach broadens the monitored patterns to include not only message exchange orders, but also the data contents bound to the parameters. To reduce runtime overhead, we statically analyze the monitored properties to generate parameter state machine from the event pattern automata to optimize monitoring. The experiments show that our solution is efficient and promising.
INDEX TERMS
runtime monitoring, temporal properties, BPEL
CITATION

X. Shao, J. Wei, G. Wu, C. Ye, H. Zhong and T. Huang, "Runtime Monitoring of Data-centric Temporal Properties for Web Services," 2011 IEEE International Conference on Web Services(ICWS), Washington, DC USA, 2011, pp. 161-170.
doi:10.1109/ICWS.2011.124
93 ms
(Ver 3.3 (11022016))