Abstract
Keeping composite services satisfying desired properties has been widely accepted as an important and challenging problem due to the dynamically evolving attribute of web service compositions. Runtime monitoring and dynamic verification techniques become first class activities to be performed during the execution of web service compositions. Scenario-based temporal properties depicting the complex interactions among the different services are a kind of important property which needs to be monitored at runtime. However, some complex scenario-based temporal properties cannot be easily represented by the traditional formalism such as temporal logic. In this paper, we first propose to represent the scenario-based temporal properties of web service compositions by the use of a novel notation (Property Sequence Chart). Then, we use Aspect-Oriented Programming techniques to extend the open-source BPEL engine (ActiveBPEL) and monitor its execution. Based on these assumptions, we propose a more intuitive approach to monitor the scenario-based temporal properties in web service compositions.
The work is supported partially by the National Natural Science Foundation of China under Grant No. 60773105, partially by the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2007513, partially by National High Technology Research and Development Program under Grant No. 2007AA01Z141 and partially by the Program for New Century Excellent Talents in University under Grant No.NCET-06-0466.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F., KrAamer, B.J.: Service-oriented computing: A research roadmap. In: Service Oriented Computing (SOC) (2006)
Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of Web service Compositions. In: IEEE International Conference on Web Services (ICWS 2006). pp. 63–71 (2006)
OASIS. Web Services Business Process Execution Language Version 2.0. Committee Specification (January 2007)
Kiczales, G., Lamping, J., Mendhekar, A.: Aspect-oriented programming. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
ActiveBPEL. The Open source BPEL engine, http://www.activebpel.org
Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: SCESM 2006, pp. 21–28 (2006)
Autili, M., Inverardi, P., Pelliccione, P.: Graphical scenarios for specifying temporal properties: an automated approach. Automated Software Engineering 14(3), 293–340 (2007)
Kiczales, G., Hilsdale, E., Hugunin, J.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327–353. Springer, Heidelberg (2001)
Li, Z., Jin, Y., Han, J.: A runtime monitoring and validation framework for web service interactions. In: ASWEC 2006: Proceedings of the 17th Australian Software Engineering Conference, pp. 70–79 (2006)
Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: ICSOC 2004, pp. 193–202 (2004)
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)
Mahbub, K., Spanoudakis, G.: A framework for requirements monitoring of service based systems. In: ICSOC 2004, pp. 84–93 (2004)
Bianculli, D., Ghezzi, C.: Monitoring conversational web services. In: 2nd international workshop on Service oriented software engineering, pp. 15–21 (2007)
Muccini, H., Polini, A., Ricci, F., Bertolino, A.: Monitoring architectural properties in dynamic component-based systems. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 124–139. Springer, Heidelberg (2007)
Zhang, P.C., Li, B.X., Sun, M.J., Gong, X.F.: A psc based approach to monitor the timed properties in web service composition. In: 32nd Annual IEEE International Computer Software and Applications Conference, Turku, Finland, IEEE Computer Society, Los Alamitos (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, P., Li, B., Muccini, H., Sun, M. (2008). An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. In: Ishikawa, Y., et al. Advanced Web and Network Technologies, and Applications. APWeb 2008. Lecture Notes in Computer Science, vol 4977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89376-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-89376-9_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89375-2
Online ISBN: 978-3-540-89376-9
eBook Packages: Computer ScienceComputer Science (R0)