Incorporating Process Mining Into Choreography-based Web Services Composition and Conformance Verification
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.
Communicating Sequential Processes Conformance checking Control-flow discovery
W.L.YEUNG
Department of Computing and Decision Sciences,Lingnan University,Hong Kong
国内会议
杭州
英文
1-4
2014-10-18（万方平台首次上网日期，不代表论文的发表时间）