DocumentCode
2387788
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
fYear
2005
fDate
11-15 July 2005
Firstpage
257
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Web Services, 2005. ICWS 2005. Proceedings. 2005 IEEE International Conference on
Print_ISBN
0-7695-2409-5
Type
conf
DOI
10.1109/ICWS.2005.100
Filename
1530805
Link To Document