Web service mining and verification of properties: an approach based on event calculus

Authors:
Mohsen Rouached;Walid Gaaloul;Wil M. P. van der Aalst;Sami Bhiri;Claude Godart
Affiliations:
LORIA-INRIA-UMR 7503, Vandœuvre-les-Nancy Cedex, France;LORIA-INRIA-UMR 7503, Vandœuvre-les-Nancy Cedex, France;Department of Technology Management, Eindhoven University of Technology, Eindhoven, The Netherlands;LORIA-INRIA-UMR 7503, Vandœuvre-les-Nancy Cedex, France;LORIA-INRIA-UMR 7503, Vandœuvre-les-Nancy Cedex, France
Venue:
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Year:
2006

Citing 22
Cited 6

A logic-based calculus of events

New Generation Computing
Temporal reasoning with abductive event calculus

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Simulation, verification and automated composition of web services

Proceedings of the 11th international conference on World Wide Web
Verification of Web Service Flows with Model-Checking Techniques

CW '02 Proceedings of the First International Symposium on Cyber Worlds (CW'02)
Workflow-Based Process Monitoring and Controlling ¾ Technical and Organizational Issues

HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Workflow mining: a survey of issues and approaches

Data & Knowledge Engineering
Process mining: a research agenda

Computers in Industry - Special issue: Process/workflow mining
Business process intelligence

Computers in Industry - Special issue: Process/workflow mining
Compatibility Verification for Web Service Choreography

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols

Annals of Mathematics and Artificial Intelligence
Associating assertions with business processes and monitoring their execution

Proceedings of the 2nd international conference on Service oriented computing
Smart monitors for composed services

Proceedings of the 2nd international conference on Service oriented computing
Web services: a process algebra approach

Proceedings of the 2nd international conference on Service oriented computing
Event Calculus Planning Through Satisfiability

Journal of Logic and Computation
Event Calculus Reasoning Through Satisfiability

Journal of Logic and Computation
Web services navigator: visualizing the execution of web services

IBM Systems Journal
Business process cockpit

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Process mining and verification of properties: an approach based on temporal logic

OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Towards formal verification of web service composition

BPM'06 Proceedings of the 4th international conference on Business Process Management
A contract-based approach for monitoring collaborative web services using commitments in the event calculus

WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Analyzing web service based business processes

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Conformance testing: measuring the fit and appropriateness of event logs and process models

BPM'05 Proceedings of the Third international conference on Business Process Management

Web service usage mining: mining for executable sequences

ACS'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7
Discovering semantic associations among Web services based on the qualitative probabilistic network

Expert Systems with Applications: An International Journal
Log-based transactional workflow mining

Distributed and Parallel Databases
Mining and re-engineering transactional workflows for reliable executions

ER'07 Proceedings of the 26th international conference on Conceptual modeling
Verifying composite service transactional behavior using event calculus

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Analysis of composite web services using logging facilities

ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing

Quantified Score

Hi-index	0.00

Visualization

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.