Abstract
For service-based systems which are composed of multiple independent stakeholders, correctness cannot be ascertained statically. Continuous monitoring is required to assure that runtime behavior of the systems complies with specified properties. However, most existing work considers only the temporal constraints of messages exchanged between services, ignoring the actual data contents inside the messages. As a result, it is difficult to validate some dynamic properties such as how message data of interest is processed between different participants. To address this issue, this paper proposes an efficient, online monitoring approach to dynamically analyze data-centric properties in service-based systems. By introducing Par-BCL - a Parametric Behavior Constraint Language for Web services - various data-centric properties can be specified and monitored. To keep runtime overhead low, we statically analyze the monitored properties to generate parameter state machine, and combine two different indexing mechanisms to optimize the monitoring. The experiments show that the proposed approach is efficient.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OASIS. Web services business process execution language (ws-bpel) v2.0, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf
Beeri, C., Eyal, A., Milo, T., Pilberg, A.: Monitoring business processes with queries. In: VLDB, pp. 603–614 (2007)
Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)
Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Runtime monitoring of instances and classes of web service compositions. In: ICWS, pp. 63–71 (2006)
Mahbub, K., Spanoudakis, G.: A framework for requirements monitoring of service based systems. In: ICSOC, pp. 84–93 (2004)
Simmonds, J., Gan, Y., Chechik, M., et al.: Runtime Monitoring of Web Service Conversation. TSC 2(3), 223–244 (2009)
Wu, G.Q., Wei, J., Huang, T.: Flexible pattern monitoring for WS-BPEL through stateful aspect extension. In: ICWS, pp. 577–584 (2008)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411–420 (1999)
Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Transaction on Service Computing (preprint)
Hallé, S., Villemaire, R., Cherkaoui, O.: Specifying and validating data-aware temporal web service properties. TSE 35(5), 669–683 (2009)
Greenfield, P., Kuo, D., Nepal, S., Fekete, A.: Consistency of web services applications. In: VLDB, pp. 1199–1203 (2005)
Ye, C.Y., Cheung, S.C., Chan, W.K., Xu, C.: Detection and resolution of atomicity violation in service composition. In: FSE, pp. 235–244 (2007)
Li, Z., Han, J., Jin, Y.: Pattern-Based Specification and Validation of Web Services Interaction Properties. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 73–86. Springer, Heidelberg (2005)
Wang, Q.X., Shao, J., Deng, F., et al.: An online monitoring approach for web services requirements. TSC 2, 338–351 (2009)
Diao, Y.L., Altinel, M., et al.: Path Sharing and Predicate Evaluation for High-Performance XML Filtering. TODS 28(4), 467–516 (2003)
Charfi, A.: Aspect-oriented Workflow Languages: AO4BPEL and Applications (thesis)
Chen, F., Rosu, G.: MOP: An efficient and generic runtime verification framework. In: OOPSLA, pp. 569–588 (2007)
Chen, F., Rosu, G.: Parametric Trace Slicing and Monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 246–261. Springer, Heidelberg (2009)
Chen, F., Meredith, P.O., Jin, D.Y., Rosu, G.: Efficient Formalism-Independent monitoring of Parametric Properties. In: ASE, pp. 383–394 (2009)
Avgustinov, P., Tibble, J., de Moor, O.: Making Trace Monitors Feasible. In: OOPSLA, pp. 589–608 (2007)
Chen, W., Wei, J., Wu, G., Qiao, X.: Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol. 5331, pp. 675–690. Springer, Heidelberg (2008)
Hallé, S., Villemaire, R.: Runtime monitoring of message based workflows with data. In: EDOC, pp. 63–72 (2008)
Wu, G.Q., Wei, J., Ye, C.Y., et al.: Runtime monitoring of data-centric temporal properties for web services. In: ICWS (to appear, 2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wu, G., Wei, J., Ye, C., Shao, X., Zhong, H., Huang, T. (2012). Runtime Verification of Data-Centric Properties in Service Based Systems. In: Khurshid, S., Sen, K. (eds) Runtime Verification. RV 2011. Lecture Notes in Computer Science, vol 7186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29860-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-29860-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29859-2
Online ISBN: 978-3-642-29860-8
eBook Packages: Computer ScienceComputer Science (R0)