TY - GEN
T1 - Analysis of composite web services using logging facilities
AU - Rouached, Mohsen
AU - Godart, Claude
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38049134897&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38049134897&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-75492-3_7
DO - 10.1007/978-3-540-75492-3_7
M3 - Conference contribution
AN - SCOPUS:38049134897
SN - 9783540754916
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 74
EP - 85
BT - Service-Oriented Computing ICSOC 2006 - 4th International Conference, Workshops Proceedings
PB - Springer Verlag
T2 - 4th International Conference on Service-Oriented Computing, ICSOC 2006
Y2 - 4 December 2006 through 7 December 2006
ER -