Conference ProceedingsOPEN ACCESS

Analysis of composite web services using logging facilities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2007) 4652 LNCS 74-85
DOI: 10.1007/978-3-540-75492-3_7
2Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end. © Springer-Verlag Berlin Heidelberg 2007.

Cite

CITATION STYLE

APA

Rouached, M., & Godart, C. (2007). Analysis of composite web services using logging facilities. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4652 LNCS, pp. 74–85). Springer Verlag. https://doi.org/10.1007/978-3-540-75492-3_7

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free