Choreography Conformance Checking: An Approach based on BPEL and Petri Nets

摘要

Recently, languages such as BPEL and WS-CDL have been proposed todescribe interactions between services and their behavioral dependencies.The emergence of these languages heralds an era where richer servicedescriptions, going beyond WSDL-like interfaces, will beavailable. However, what can these richer service descriptions servefor? This talk discussed the use of event logs of web services and behavioral service descriptions as input for process mining and conformance checking. Conformance checking is the act of verifying whether or not one or more parties stick to an agreed-uponbehavior, by observing their actual behavior as recorded in message logs. This talk shows that it is possible totranslate BPEL business abstract processes to Petri nets and to relate SOAP messages to transitions in the Petri net. The approach has beenimplemented in the ProM framework.