论文部分内容阅读
The web services technology supports the dynamic creation of collaborative business processes through the Internet by linking up existing enterprise applications packaged as web services.Business partners have to agree on the protocols for web services to interact and this can take the form of a web services choreography.A visual approach has previously been proposed for supporting individual partners in setting up their web services and verifying their conformance to the agreed choreography at design time.The verification task is formally based and is supported by software tools.This paper considers the extension of this approach to incorporate process mining at runtime for conformance checking and control-flow discovery.