Back to Search
Start Over
Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
- Source :
- On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA & ODBASE; 2006, p408-425, 18p
- Publication Year :
- 2006
-
Abstract
- Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable "Web service intelligence". Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540482871
- Database :
- Complementary Index
- Journal :
- On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA & ODBASE
- Publication Type :
- Book
- Accession number :
- 32907067
- Full Text :
- https://doi.org/10.1007/11914853_25