Web Services, European Conference on (2009)
Eindhoven, The Netherlands
Nov. 9, 2009 to Nov. 11, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECOWS.2009.19
Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It is therefore critical to verify the behavioural conformance of services during run-time. This paper discusses a novel approach for run-time verification of Web services. It proposes the utilisation of Stream X-machines for constructing formal behavioural specifications of Web services which can be exploited for verifying that a service’s run-time behaviour does not deviate from what is defined in the specification. Our approach allows for checking both the control flow of a Web service and the values of the data in the generated responses. The paper also proposes a classification of Web services and discusses how different types of services can be verified at run-time. Finally, it presents a run-time monitoring and verification architecture and discusses how it can be integrated into different types of service-oriented infrastructures.
Run-time verification, behavioural conformace, Web services, monitoring, formal methods, Stream X-machines
E. Ramollari, D. Dranidis and D. Kourtesis, "Run-time Verification of Behavioural Conformance for Conversational Web Services," Web Services, European Conference on(ECOWS), Eindhoven, The Netherlands, 2009, pp. 139-147.