Abstract
Web service orchestrations aim at offering value-added services that meet the increasing complex requirements of business processes. Since it becomes harder to manually check the correctness of such systems, we propose a formal method for their consistency checking by first translating OWL-S composite services and WS-BPEL orchestrator into communicating automata using an iterative process driven by control structures of these languages. Thereafter, we build the synchronization product of the resulting automata and proceed to its compatibility checking in order to unveil forbidden states, which depict incompatibilities in that orchestration interaction protocol. Last, this automaton consistency is checked against the behavioral model of WS-CDL choreography seen as its specification to which it has to conform.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
