{"product_id":"automata-based-formal-approach-for-verification-of-web-service-von-danapaquiame-n","title":"Automata based formal approach for verification of Web Service","description":"\u003cp\u003eThe composition of Web services and very few studies exist on the verification of composed Web services using puppets to verify the problems of reachability, sparseness departed transition and departed splotching, state space explosion and the deadlock moderately for DFA. In this book, to address this problem, novel theoretical findings on the verification of WSC are presented. By solving the composition problem on non-deterministic Web services, the problems of reachability, sparseness departed transition departed splotching, state explosion and detection of deadlock in FSM model to a greater extent are reduced. These findings suggest that more efficient approximation efforts to devise solutions to the verification of WSC problem are needed.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786204197340\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9786204197340","offer_id":39466216161373,"sku":"9786204197340","price":76.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/01ff827e-129e-4f81-8ff9-754161e1d10b.jpg?v=1772867574","url":"https:\/\/shop.autorenwelt.de\/en\/products\/automata-based-formal-approach-for-verification-of-web-service-von-danapaquiame-n","provider":"Autorenwelt Shop","version":"1.0","type":"link"}