Skip to main content

Advertisement

Log in

Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension

  • Regular Paper
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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

  1. Web services business process execution language (WS-BPEL) v2.0. OASIS. http://docs.oasisopen.org/wsbpel/2.0/wsbpel-v2.0.pdf.

  2. 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.

    Article  Google Scholar 

  3. 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.

  4. Autonomic Computing Initiative. AutonomicComputing. IBM, http://www-03.ibm.com/servers/autonomic.

  5. 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.

  6. Avgustinov P, Bodden E, Hajiyev E. Aspects for Trace Monitoring. Formal Approaches to Software Testing and Runtime Verification, Springer, 2006, pp.20–39.

  7. Charfi A, Mezini M. AO4BPEL: An aspect-oriented extension to BPEL. Journal of World Wide Web, Springer, 2007, 10(3): 309–344.

    Article  Google Scholar 

  8. 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.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  15. 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.

  16. 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.

  17. Bajaj S, Box Don et al. Web services policy framework. 2006, http://www-128.ibm.com/developerworks/library/specification/ws-polfram/.

  18. Sharp C (ed.). Web Services Policy 1.2-Attachment (WSPolicyAttachment), 2006, http://www.w3.org/Submission/WS-PolicyAttachment/.

  19. 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.

  20. 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.

  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.

  22. Alur R, Dill D. A theory of timed automata. Theoretical Computer Science, 1994, 126(2): 183–235.

    Article  MATH  MathSciNet  Google Scholar 

  23. 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.

  24. Charfi Anis. Aspect-oriented workflow language: AO4BPEL and application [Ph.D. Dissertation], Damstadt University of Technology, Germany, 2007.

  25. Kloppmann M, Koenig D. WS-BPEL extension for subprocesses. A Joint White Paper by IBM and SAP, September 2005.

  26. 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.

  27. 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.

  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.

  29. 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.

  30. 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.

  31. Web services description language (WSDL 2.0). W3C. http://www.w3.org/TR/wsdl20.

  32. 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.

  33. 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.

  34. 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.

  35. 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.

  36. 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.

  37. 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.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tao Huang.

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

Reprints 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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11390-009-9225-4

Keywords

Navigation