A timed extension of WSCoL

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 663-670

  Baresi, Luciano ^a   Bianculli, Domenico ^b   Ghezzi, Carlo ^a   Guinea, Sam ^a   Spoletini, Paola ^a  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF LUGANO   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

(PL) PROPERTIES; DYNAMIC NATURES; INTERNATIONAL CONFERENCES; NON-FUNCTIONAL REQUIREMENTS (NFR); PRINCIPLES OF DESIGN; RECONFIGURATION ACTIONS; RUN TIME; RUN-TIME MONITORING; SERVICE BASED APPLICATIONS; SERVICE PROVIDER (SP); SERVICE USERS; TEMPORAL EXTENSIONS;

CONTRACTS; INFORMATION SERVICES; LINGUISTICS; WEB SERVICES;

WORLD WIDE WEB;

EID: 38349027143     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.25     Document Type: Conference Paper

References (16)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1, May 2003.
2. F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS '06 Proceedings, pages 63-71. IEEE Computer Society, 2006.
3. L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL processes. In ICSOC 2005 Proceedings, volume 3826 of LNCS, pages 269-282. Springer, 2005.
4. L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. R. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer, 7(3):212-232, 2005.
5. N. Delgado, A. Q. Gates, and S. Roach. A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng., 30(12):859-872, 2004.
6. A. Keller and H. Ludwig. Defining and monitoring service-level agreements for dynamic e-business. In Lisa '02 Proceedings, pages 189-204. USENIX Association, 2002.
7. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In ECOOP 2001 Proceedings, volume 2072 of LNCS, pages 327-353. Springer, 2001.
8. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP 1997 Proceedings, volume 1242 of LNCS, pages 220-242. Springer, 1997.
9. O. Kupferman and M. Vardi. Weak alternating automata are not that weak. In ISTCS'97 Proceedings, pages 147-158. IEEE Computer Society Press, 1997.
10. K. Mahbub and G. Spanoudakis. A framework for requirents monitoring of service based systems. In ICSOC '04 Proceedings, pages 84-93. ACM Press, 2004.
11. B. Meyer. Applying "design by contract". Computer, 25(10):40-51, Oct. 1992.
12. W.N.Robinson. Monitoring web service requirements. In RE'03 Proceedings, pages 65-74. IEEE Computer Society, 2003.
13. B. Sabata, S. Chatterjee, M. Davis, J. J. Sydir, and T. F. Lawrence. Taxomomy of QoS specifications. In WORDS '97 Proceedings, pages 100-107. IEEE Computer Society, 1997.
14. A. Sahai, V. Machiraju, M. Sayal, L. J. Jin, and F. Casati. Automated SLA monitoring for web services. In DSOM '02 Proceedings, volume 2506 of LNCS, pages 28-41. Springer, 2002.
15. J. Skene, A. Skene, J. Crampton, and W. Emmerich. The monitorability of service-level agreements for application-service provision. In WOSP '07 Proceedings, pages 3-14. ACM Press, 2007.
16. H.-L. Truong, R. Samborski, and T. Fahringer. Towards a framework for monitoring and analyzing QoS metrics of grid services. In E-SCIENCE -06 Proceedings, pages 6572. IEEE Computer Society, 2006.