Automata based formal approach for verification of Web Service
(Sprache: Englisch)
The 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...
Leider schon ausverkauft
versandkostenfrei
Buch
76.90 €
Produktdetails
Produktinformationen zu „Automata based formal approach for verification of Web Service “
Klappentext zu „Automata based formal approach for verification of Web Service “
The 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.
Autoren-Porträt von Danapaquiame N.
N., DanapaquiameN.DANAPAQUIAME, the author of this book has completed her doctorate in the Department of Computer Science and Engineering at Pondicherry Engineering College, Puducherry, India. She received her bachelor's degree in Computer Science and Engineering from the University of Madras in the year 1999.
Bibliographische Angaben
- Autor: Danapaquiame N.
- 2021, 212 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 6204197347
- ISBN-13: 9786204197340
Sprache:
Englisch
Kommentar zu "Automata based formal approach for verification of Web Service"
0 Gebrauchte Artikel zu „Automata based formal approach for verification of Web Service“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Automata based formal approach for verification of Web Service".
Kommentar verfassen