Extending PSC for monitoring the timed properties in composite services

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2008, Pages 335-342

  Zhang, Pengcheng ^a   Li, Bixin ^a   Su, Zhiyong ^a   Sun, Mingjie ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITE SERVICES; DESIGN TIME; FUNCTIONAL PROPERTIES; NON FUNCTIONAL PROPERTIES; REAL TIME SPECIFICATIONS; RUNTIME; RUNTIME MONITORING; SEQUENCE CHARTS; SERVICE OPERATIONS; SOFTWARE ENGINEERS; VERIFICATION TECHNIQUES;

MONITORING;

COMPUTER SOFTWARE;

EID: 58449133127     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

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. (Pubitemid 47397542)
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. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Property specification patterns for finite-state verification. In Proc. 21th International Conference on Software Engineering (ICSE1999), pages 411-420, 1999.
6. A. Keller and H. Ludwig. Defining and monitoring servicelevel agreements for dynamic e-business. In Proc. of the 16th Conference on Systems Administration, pages 192-230, 2002.
7. G. Kiczales, J. Lamping, and A. Mendhekar. Aspectoriented programming. In Proc. of the 11th European Conference on Object-Oriented Programming (ECOOP),LNCS 1241, pages 220-242, 1997.
8. S. Konrad and B. H. C. Cheng. Real-time specification patterns. In International Conference on Software Engineering (ICSE05), pages 372-381, 2005.
9. OASIS. Web services business process execution language version 2.0, committee specification, 2007.
10. F. Raimondi, J. Skene, W. Emmerich, and B. Wozna. A methodology for online monitoring non-functional specification of web services. In Proceedings of PROVECS'07- TOOLS, 2007.
11. 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.
12. 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, pages 144-154, 2008.
13. 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.
14. P. C. Zhang, B. X. Li, and M. J. Sun. A timed extension of property sequence chart. In 11th IEEE High Assurance Systems Engineering Symposium(HASE'08), Nanjin, China, 2008. IEEE Computer Society.
15. P. C. Zhang, B. X. Li, M. J. Sun, and X. F. Gong. A PSC-based approach to monitor the timed properties in web service composition. In 32nd Annual IEEE International Computer Software and Applications Conference( COMPSAC'08), pages 112-115, Turku, Finland, 2008. IEEE Computer Society.