Retracted: Towards Formal Verification of Web Service Composition

摘要: Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current proposals, such as BPML, WSBPEL, WSCI, OWL-S, provide solutions describing the control data flows in service composition. However, proposals remain at descriptive level, without providing any kind of mechanisms or tool support analysis verification. Therefore, there a growing interest verification techniques which enable designers to test repair design errors even before actual running service, allow detect erroneous properties formally verify whether process does have certain desired properties. In this paper, we propose using event driven approach. We assume that are coordinated by expressed WSBPEL use Event Calculus specify requirements be monitored.