Web Service Mining and Verification of Properties: An Approach Based on Event Calculus

Abstract

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.

Communications Semantics for WSBPEL Processes

“…Then, to support the choreography aspects introduced in this paper, we have extended our BPEL2EC tool presented in [21]. The BPEL2EC tool is built as a parser that can automatically transform a given WS-BPEL process into EC formulas according to the transformation scheme.…”

“…To illustrate our ideas, we refer to a running example implemented as a BPEL process realizing a Car Rental Agency service (a complete description can be found in [21]). It interacts with a Car Broker Service (CRS), which controls the operations of the branch; with a User Interaction Service (UIS), through which customers can make car rental requests; with a Car Information Service (CIS), which maintains a database of cars availability and allocate cars to customers; with a Car Park Sensor Service, which exposes as a Web service the sensor that senses cars as they are driven in or out of the car park of the branch.…”

A semantical framework to engineering WSBPEL processes

“…Several requirements concerning the CRS case study were discussed in [23]. Here we just focus on the bahaviour of the CPS service to clarify our ideas throughout the rest of the paper.…”

“…For the same case study, several others requirements verifications are discussed in [23]. Our focus now is on how the specifications of these vialations can be used to support the discovery of replacement services that become unavailable or fail to meet certain requirements at run-time.…”

“…The description of this implementation is beyond the scope of this paper and may be found in [23]. We just focus here on the verification process.…”