Run-time monitoring of instances and classes of Web service compositions

Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services

Volumn , Issue , 2006, Pages 63-71

  Barbon, Fabio ^a   Traverso, Paolo ^a   Pistore, Marco ^b   Trainotti, Michele ^b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING;

AUTOMATIC TRANSLATION; TIME-RELATED PROPERTIES;

WEB SERVICES;

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

References (13)

1. ActiveBPEL. The Open Source BPEL Engine http://www.activebpel.org.
2. T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weeravarana. Business Process Execution Language for Web Services (version 1.1), 2003.
3. L. Baresi, C. Ghezzi, and S. Guinea. Smart Monitors for Composed Services. In Int. Conf. on Service-Oriented Computing, 2004.
4. L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL Processes. In Int. Conf. on Service-Oriented Computing, 2005.
5. A. Dingwall-Smith and A. Finkelstein. From Requirements to Monitors by way of Aspects. In Int. Conf. on AspectOriented Software Development, 2002.
6. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, 1990.
7. M. Feather and S. Fickas. Requirements Monitoring in Dynamic Environment. In Int. Conf. on Requirements Engineering, 1995.
8. K. Mahbub and G. Spanoudakis. A Framework for Requirements Monitoring of Service Based Systems. In Int. Conf. on Service-Oriented Computing, 2004.
9. K. Mahbub and G. Spanoudakis. Run-Time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. In Int. Conf. on Web Services, 2005.
10. D. Peters. Deriving Real-Time Monitors for System Requirements Documentation. In Int. Symp. on Requirements Engineering - Doctoral Symposium, 1997.
11. W. Robinson. Monitoring Web Service Requirements. In Int. Conference on Requirement Engineering, 2003.
12. A. Sahai, V. Machiraju, A. van Morsel, and F. Casati. Automated SLA Monitoring for Web Services. In Int. Workshop on Distributed Systems: Operations and Management, 2002.
13. K. Sen, A. Vardhan, G. Agha, and G. Rosu. Efficient Decentralized Monitoring of Safety in Distributed Systems. In Int. Conf. on Software Engineering, 2004.