Title :
Run-time monitoring of requirements for systems composed of Web-services: initial implementation and evaluation experience
Author :
Mahbub, Khaled ; Spanoudakis, George
Author_Institution :
Dept. of Comput., City Univ., London, UK
Abstract :
This paper describes a framework supporting the runtime monitoring of requirements for systems implemented as compositions of Web-services specified in BPEL. The requirements that can be monitored are specified in event calculus. The paper presents an overview of the framework and describes the architecture and implementation of a tool that we have developed to operationalise it. It also presents the results of a preliminary experimental evaluation of the framework.
Keywords :
Internet; formal specification; software architecture; software tools; system monitoring; temporal logic; BPEL; Web-services; event calculus; run-time requirement monitoring; Application software; Calculus; Computer architecture; Instruments; Monitoring; Runtime environment; Software systems; Web services; XML;
Conference_Titel :
Web Services, 2005. ICWS 2005. Proceedings. 2005 IEEE International Conference on
Print_ISBN :
0-7695-2409-5
DOI :
10.1109/ICWS.2005.100
