An approach to monitor scenario-based temporal properties in web service compositions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4977, Issue , 2008, Pages 144-154

  Zhang, Pengcheng ^a   Li, Bixin ^a   Muccini, Henry ^b   Sun, Mingjie ^a  

^a SOUTHEAST UNIVERSITY   (China)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Property sequence chart; Runtime monitoring; Web service; Web service compositions

Indexed keywords

ASPECT ORIENTED PROGRAMMING; COMPLEX NETWORKS; NETWORK COMPONENTS; OPEN SOURCE SOFTWARE; SOCIAL NETWORKING (ONLINE); WEBSITES;

COMPOSITE SERVICES; DIFFERENT SERVICES; DYNAMIC VERIFICATIONS; PROPERTY SEQUENCE CHARTS; RUNTIME MONITORING; SCENARIO-BASED; TEMPORAL PROPERTY; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 51949107919     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (15)

1. Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F., Krämer, B.J.: Service-oriented computing: A research roadmap. In: Service Oriented Computing (SOC) (2006)
2. 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)
3. OASIS. Web Services Business Process Execution Language Version 2.0. Committee Specification (January 2007)
4. 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)
5. ActiveBPEL. The Open source BPEL engine, http://www.activebpel.org
6. Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: SCESM 2006, pp. 21–28 (2006)
7. Autili, M., Inverardi, P., Pelliccione, P.: Graphical scenarios for specifying temporal properties: an automated approach. Automated Software Engineering 14(3), 293–340 (2007)
8. 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)
9. 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)
10. Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: ICSOC 2004, pp. 193–202 (2004)
11. 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)
12. Mahbub, K., Spanoudakis, G.: A framework for requirements monitoring of service based systems. In: ICSOC 2004, pp. 84–93 (2004)
13. Bianculli, D., Ghezzi, C.: Monitoring conversational web services. In: 2nd international workshop on Service oriented software engineering, pp. 15–21 (2007)
14. 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)
15. 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)