An approach for verifying Web Service com- position using Interface Automata
Renuka Devi Saravanan, N. Danapaguiame · 2013
Web services is one of the key technologies for cloud computing. A single web service can offer only limited function to which does not provide efficiency for business application. Thus the composition of different web services provides abundant functions for distributing applications effi- ciently. A verification algorithm is designed to verify the sequence flow of the composed service. In the existing system, composition and algorithm was used to verify the composition. It fails to determine the reachability of services and the representation of services in automata. Thus in the proposed system, a modified interface automata is used to achieve the composition of services and also a verification algorithm is designed to validate the execu- tion sequence of services. Index Terms— Web service; Web service composition; Modified Interface Automata. —————————— ——————————