A PSC-based approach to monitor the timed properties in web service compositions

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2008, Pages 112-115

  Zhang, Pengcheng ^a   Li, Bixin ^a   Sun, Mingjie ^a   Gong, Xufang ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ANALYSIS; COMPUTER APPLICATIONS; COMPUTER SOFTWARE; COMPUTERS; INFORMATION SERVICES; WEB SERVICES; WORD PROCESSING; WORLD WIDE WEB;

COMPOSITE SERVICES; FUNCTIONAL PROPERTIES; NEW APPROACHES; NON-FUNCTIONAL PROPERTIES; RUN-TIME; RUN-TIME MONITORING; SERVICE OPERATIONS;

ERROR ANALYSIS;

EID: 51949104572     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2008.231     Document Type: Conference Paper

References (9)

1. The open source bpel engine. http://www.activebpel.org.
2. M. Autili, P. Inverardi, and P. Pelliccione. A scenario based notation for specifying temporal properties. In 5th SCESM06, ICSE06, pages 21-28, 2006.
3. M. Autili, P. Inverardi, and P. Pelliccione. Graphical scenarios for specifying temporal properties: an automated approach. Automated Software Engineering, 14(3):293-340, 2007.
4. L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. A timed extension of wscol. In IEEE International Conference on Web Services, pages 663-670, 2007.
5. A. Keller and H. Ludwig. Defining and monitoring service-level agreements for dynamic e-business. In Proc. of the 16th Conference on Systems Administration, pages 192-230, 2002.
6. OASIS. Web sendees business process execution language version 2.0, committee specification, 2007.
7. A. Sahai, V. Machiraju, M. Sayal, L. J. Jin, and F. Casati. Automated sla monitoring for web services. In DSOM'02, LNCS 2506, pages 28-41, 2002.
8. P. C. Zhang, B. X. Li, H. Muccini, and M. J. Sun. An approach to monitor scenario-based temporal properties in web service compositions. In DeWeb08 in conjunction with Ap-Web08, LNCS 4977, 2008.
9. P. C. Zhang, B. X. Li, and M. J. Sun. A timed extension of property sequence chart. Technical report, Chair of Software Testing and Verification, Southeast University, 2008.