Abstract
The execution of composite Web services with WS-BPEL relies on externally autonomous Web services. This implies the need to constantly monitor the running behavior of the involved parties. Moreover, monitoring the execution of composite Web services for particular patterns is critical to enhance the reliability of the processes. In this paper, we propose an aspect-oriented framework as a solution to provide monitoring and recovery support for composite Web services. In particular, this framework includes 1) a stateful aspect based template, where history-based pointcut specifies patterns of interest cannot be violated within a range, while advice specifies the associated recovery action; 2) a tool support for runtime monitoring and recovery based on aspect-oriented execution environment. Our experiments indicate that the proposed monitoring approach incurs minimal overhead and is efficient.
Access this article
Rent this article via DeepDyve
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Web services business process execution language (WS-BPEL) v2.0. OASIS. http://docs.oasisopen.org/wsbpel/2.0/wsbpel-v2.0.pdf.
Delgado N, Gates A Q, Roach S. A taxonomy and catalog of runtime software fault monitoring tools. IEEE Trans. Software Engineering, 2004, 30(12): 859–872.
Mahbub K, Spanoudarkis G. A framework for requirements monitoring of service based systems. In Proc. the 2nd Int. Conf. Service-Oriented Computing, New York, USA, ACM, Nov. 15–18, 2004, pp.84–93.
Autonomic Computing Initiative. AutonomicComputing. IBM, http://www-03.ibm.com/servers/autonomic.
Courbis C, Finkelstein A. Towards aspect weaving applications. In Proc. the 27th Int. Conf. Software Engineering, St. Louis, USA, May 15–21, 2005, pp.69–77.
Avgustinov P, Bodden E, Hajiyev E. Aspects for Trace Monitoring. Formal Approaches to Software Testing and Runtime Verification, Springer, 2006, pp.20–39.
Charfi A, Mezini M. AO4BPEL: An aspect-oriented extension to BPEL. Journal of World Wide Web, Springer, 2007, 10(3): 309–344.
Braem M, Verlaenen K, Joncheere N et al. Isolating process-level concerns using Padus. In Proc. the 4th Int. Conf. Business Process Management, Vienna, Austria, Springer, Sept. 5–7, 2006, pp.113–128.
Allan C, Avgustinov P et al. Adding trace matching with free variables to AspectJ. In Proc. the 20th ACM SIGPLAN Conf. Object Oriented Programming, Systems, Languages, and Applications, San Diego, USA, ACM, Oct. 16–20, 2005, pp.345–364.
Vand W, Suvee D, Cibran M A. Stateful aspects in JAsCo. In Proc. the 4th Int. Workshop Software Composition, Edinburgh, UK, Springer, April 9, 2005, pp 167–181.
Filman R E, Havelund K. Source-code instrumentation and Quantification of Events. In Workshop on Foundations of Aspect-Oriented Languages. at AOSD, Twente, Netherlands, ACM, 2002, pp.45–49.
Braem M, Gheysels D. History-based aspect weaving for WSBPEL using Padus. In Proc. the 5th Europe Conference on Web Services, Halle, Germany, IEEE Computer Society, Nov. 26–28, 2007, pp.159–167.
Charfi A, Mezini M. Aspect-oriented Web services composition with AO4BPEL. In Proc. Europe Conf. Web Services. Erfurt, Germany, Springer, Sept. 27–30, 2004, pp.168–182.
Dwyer M B, Avrunin G S, Corbtt J C. Patterns in property specifications for finite-state verification. In Proc. the 21st Int. Conf. Software Engineering, Los Angeles, USA, ACM, May 16–22, 1999, pp.411–420.
Baresi L, Guinea S, Plebani P. WS-policy for service monitoring. In Proc. the 6th Int. Workshop of Technologies for E-Services, Trondheim, Norway, Springer, Sept. 2–3, 2005, pp.72–83.
Tosic V, Erradi A, Maheshwari P. WS-Policy4MASC — A WS-policy extension used in the MASC Middleware. In Proc. IEEE Int. Conf. Services Computing, Salt Lake City, USA, IEEE Computer Society, July 9–13, 2007, pp.458–465.
Bajaj S, Box Don et al. Web services policy framework. 2006, http://www-128.ibm.com/developerworks/library/specification/ws-polfram/.
Sharp C (ed.). Web Services Policy 1.2-Attachment (WSPolicyAttachment), 2006, http://www.w3.org/Submission/WS-PolicyAttachment/.
Konrad S, Cheng B H C. Real-time specification patterns. In Proc. the 27th Int. Conf. Software Engineering, Louis, USA, ACM, May 15–21, 2005, pp.372–381.
Simth R L, Avrunin G S, Clarke L A, Osterweil L J. PROPEL: An approach supporting property elucidation. In Proc. the 22nd Int. Conf. Software Engineering, Orlando, USA, ACM, June 4–11, 2000, pp.11–21.
Avgustinov P, Moor O D, Tibble J. On the semantics of matching trace monitoring patterns. In Proc. the 7th Int. Workshop on Runtime Verification, Vancouver, Canada, Springer, March 13, 2007, pp.45–46.
Alur R, Dill D. A theory of timed automata. Theoretical Computer Science, 1994, 126(2): 183–235.
Gehani N H, Jagadish H V, Shmueli O. Composite event specification in active databases: Model & implementation. In Proc. the 18th Int. Conf. Very Large Data Bases, Vancouver, Canada, Aug. 23–27, 1992, pp.327–338.
Charfi Anis. Aspect-oriented workflow language: AO4BPEL and application [Ph.D. Dissertation], Damstadt University of Technology, Germany, 2007.
Kloppmann M, Koenig D. WS-BPEL extension for subprocesses. A Joint White Paper by IBM and SAP, September 2005.
Andrieux A, Czajkowsk K, Dan A, Keahey K et al. Web services agreement specification (WS-Agreement), 2007, http://www.ogf.org/documents/GFD.107.pdf.
Autili M, Inverardi P, Pelliccione P. A scenario based notation for specifying temporal properties. In Proc. Int. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, ACM, May 20–28, 2006, pp.21–28.
Anis C, Mira M. Hybird Web services composition: Business processes meet business rules. In Proc. the 2nd Int. Conf. Services Oriented Computing, New York, USA, ACM, Nov. 15–18, 2004, pp.30–38.
Fu X, Bultan T, Su J W. Analysis of interacting BPEL Web services. In Proc. the 13th Int. World Wide Web Conference, New York, USA, May 19–21, 2004, pp.621–630.
Foster H, Uchitel S, Magee J, Kramer J. Model based verification ofWeb service compositions. In Proc. the 18th IEEE Int. Conf. Automated Software Engineering, Montreal, Canada, IEEE Computer Society, Oct. 6–10, 2003, pp.152–163.
Web services description language (WSDL 2.0). W3C. http://www.w3.org/TR/wsdl20.
Baresi L, Guinea S. Towards dynamic monitoring of WSBPEL processes. In Proc. the 3rd Int. Conf. Service-Oriented Computing, Amsterdam, Netherlands, Springer, Dec. 12–15, 2005, pp.269–282.
Baresi L, Guinea S, Plebani P. Policies and aspects for the supervision of BPEL processes. In Proc. the 19th Int. Conf. Advanced Information Systems Engineering, Trondheim, Norway, Springer, June 11–15, 2007, pp.340–354.
Modafferi S, Conforti E. Methods for enabling recovery actions in WS-BPEL. In Proc. the Move to Meaningful Internet Systems, Montpellier, France, Springer, Oct. 29–Nov. 3, 2006, pp.219–236.
Liu H, Li Q, Xiao M J. A declarative approach to enhancing the reliability of BPEL processes. In Proc. IEEE Int. Conf. Web Services, Salt Lake City, USA, IEEE Computer Society, July 9–13, 2007, pp.272–279.
Erradi A, Maheshwari P, Tosic V. Recovery policies for enhancing Web services reliability. In Proc. IEEE Int. Conf. Web Services, Chicago, USA, IEEE Computer Society, Sept. 18–22, 2006, pp.189–196.
Walker R J, Viggers K. Implementing protocols via declarative event patterns. In Proc. the 12th ACM SIGSOFT Int. Symposium on Foundations of Software Engineering, Newport Beach, USA, ACM, Oct. 31–Nov. 5, 2004, pp.159–169.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is supported by the National Natural Science Foundation of China under Grant Nos. 60673112, 90718033, the National Basic Research 973 Program of China under Grant No. 2009CB320704, and the High-Tech Research and Development 863 Program of China under Grand Nos. 2006AA01Z19B, 2007AA010301.
Rights and permissions
About this article
Cite this article
Huang, T., Wu, GQ. & Wei, J. Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension. J. Comput. Sci. Technol. 24, 294–308 (2009). https://doi.org/10.1007/s11390-009-9225-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11390-009-9225-4