Verification of communication protocols in web services : model-checking service compositions /

Mostrar otras versiones (1)

"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mukherjee, Anshuman
Otros Autores: Tari, Zahir, Bertók, Péter, 1952-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken, New Jersey : John Wiley & Sons, 2013.
Colección:Wiley series on parallel and distributed computing ; 83
Temas:
Web services > Testing.
Computer network protocols.
Protocoles de réseaux d'ordinateurs.
COMPUTERS > Computer Engineering.
Computer network protocols
Acceso en línea:Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocn844074308
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |||||||||||
008 130520s2013 nju ob 001 0 eng
010 |a  2013020437 
040 |a DLC  |b eng  |e pn  |c DLC  |d YDX  |d N$T  |d CUS  |d YDXCP  |d UKMGB  |d UMI  |d B24X7  |d DEBBG  |d DEBSZ  |d E7B  |d COO  |d UKDOC  |d DG1  |d IAS  |d LIP  |d ZCU  |d MERUC  |d OCLCQ  |d OCLCF  |d CEF  |d ICG  |d VTS  |d OCLCQ  |d VT2  |d CAUOI  |d AU@  |d OCLCQ  |d WYU  |d U3W  |d OCLCQ  |d DKC  |d OCLCQ  |d DLC  |d HS0  |d OCLCQ  |d TUHNV  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d SFB  |d OCLCQ  |d OCLCO  |d OCLCL 
016 7 |a 016494338  |2 Uk 
019 |a 868967216  |a 899243188  |a 992845783  |a 1148113279 
020 |a 9781118720134  |q (Adobe PDF) 
020 |a 111872013X  |q (Adobe PDF) 
020 |a 9781118720233  |q (MobiPocket) 
020 |a 1118720237  |q (MobiPocket) 
020 |a 9781118720103 
020 |a 1118720105 
020 |z 9780470905395  |q (hardback) 
020 |z 0470905395 
029 1 |a AU@  |b 000065314858 
029 1 |a CHBIS  |b 010131747 
029 1 |a CHNEW  |b 000941917 
029 1 |a CHVBK  |b 480221960 
029 1 |a DEBBG  |b BV042490474 
029 1 |a DEBBG  |b BV043395925 
029 1 |a DEBBG  |b BV044063846 
029 1 |a DEBSZ  |b 431523673 
029 1 |a DEBSZ  |b 434836532 
029 1 |a DEBSZ  |b 485038129 
029 1 |a GBVCP  |b 882843311 
029 1 |a NZ1  |b 15340190 
035 |a (OCoLC)844074308  |z (OCoLC)868967216  |z (OCoLC)899243188  |z (OCoLC)992845783  |z (OCoLC)1148113279 
037 |a CL0500000519  |b Safari Books Online 
042 |a pcc 
050 0 0 |a TK5105.88813 
072 7 |a COM  |x 013000  |2 bisacsh 
072 7 |a COM  |x 014000  |2 bisacsh 
072 7 |a COM  |x 018000  |2 bisacsh 
072 7 |a COM  |x 067000  |2 bisacsh 
072 7 |a COM  |x 032000  |2 bisacsh 
072 7 |a COM  |x 037000  |2 bisacsh 
072 7 |a COM  |x 052000  |2 bisacsh 
082 0 0 |a 004.6/2  |2 23 
084 |a COM059000  |2 bisacsh 
049 |a UAMI 
100 1 |a Mukherjee, Anshuman. 
245 1 0 |a Verification of communication protocols in web services :  |b model-checking service compositions /  |c Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University. 
264 1 |a Hoboken, New Jersey :  |b John Wiley & Sons,  |c 2013. 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 0 |a Wiley series on parallel and distributed computing ;  |v 83 
520 |a "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--  |c Provided by publisher 
588 0 |a Print version record and CIP data provided by publisher. 
504 |a Includes bibliographical references and index. 
505 0 |a Verification of Communication Protocols in Web Services: Model-Checking Service Compositions; Copyright; Contents; Preface; 1 INTRODUCTION: SERVICE RELIABILITY; 1.1 Motivation; 1.2 Technical Challenges; 1.3 Summary of Earlier Solutions; 1.4 Summary of New Ways to Verify Web Services; 1.5 Structure of the Book; References; 2 MODEL CHECKING; 2.1 Advantages and Disadvantages of Model Checking; 2.2 State-Space Explosion; 2.3 Model-Checking Tools; References; 3 PETRI NETS; 3.1 Colored Petri Nets; 3.1.1 CPN ML; 3.1.2 CPN Syntax and Semantics; 3.1.3 Timed Colored Petri Nets; 3.1.4 Multisets. 
505 8 |a 3.1.5 CPN Definitions3.2 Hierarchical Colored Petri Nets; References; 4 WEB SERVICES; 4.1 Business Process Execution Language; 4.2 Spring Framework; 4.3 JAXB 2 APIs; 4.3.1 Unmarshaling XML Documents; 4.3.2 Marshaling Java Objects; References; 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWAREMODEL CHECKING; 5.1 Motivation; 5.2 Overview of the Problem and Solution; 5.3 Related Work; 5.4 Models for Memory-Efficient State-Space Analysis; 5.4.1 Sequential Model; 5.4.2 Tree Model; 5.5 Experimental Results; 5.6 Discussion; 5.7 Summary; References. 
505 8 |a 6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWAREMODEL CHECKING6.1 Motivation; 6.2 Overview of the Problem and Solution; 6.3 Overview of Hierarchical Colored Petri Nets; 6.4 Related Work; 6.5 Technique for Time-Efficient State-Space Analysis; 6.5.1 Access Tables and Parameterized Reachability Graph; 6.5.2 Exploring a Module; 6.5.3 Access Table and Parameterized Reachability Graph for aSuper-module; 6.5.4 Algorithms for Generating Access Tables and ParameterizedReachability Graphs; 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs. 
505 8 |a 6.5.6 Theoretical Evaluation of the Reduction in Delay6.6 Experimental Results; 6.7 Discussion; 6.8 Summary; References; 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYINGSTRUCTURAL SIMILARITIES; 7.1 Motivation; 7.2 Overview of the Problem and Solution; 7.3 Basics of Substitution Transition; 7.4 Related Work; 7.5 Method for Installing Hierarchy; 7.5.1 Lookup Method; 7.5.2 Clustering Method; 7.5.3 Time Complexity of the Lookup Algorithm; 7.6 Experimental Results; 7.7 Discussion; 7.8 Summary; References; 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION; 8.1 Motivation. 
505 8 |a 8.2 Overview of the Problem and Solution8.3 Related Work; 8.4 Colored Petri Net Semantics for BPEL; 8.4.1 Component A; 8.4.2 Component B; 8.4.3 Object Model for BPEL Activities; 8.4.4 XML Templates; 8.4.5 Algorithm for Cloning Templates; 8.5 Results; 8.6 Discussion; 8.7 Summary; References; 9 CONCLUSIONS AND OUTLOOK; 9.1 Results; 9.2 Discussion; 9.3 What Could Be Improved?; References; INDEX. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
590 |a O'Reilly  |b O'Reilly Online Learning: Academic/Public Library Edition 
650 0 |a Web services  |x Testing. 
650 0 |a Computer network protocols. 
650 6 |a Protocoles de réseaux d'ordinateurs. 
650 7 |a COMPUTERS  |x Computer Engineering.  |2 bisacsh 
650 7 |a Computer network protocols  |2 fast 
700 1 |a Tari, Zahir. 
700 1 |a Bertók, Péter,  |d 1952-  |1 https://id.oclc.org/worldcat/entity/E39PCjBg7CQfctVrRmg8rxxBCP 
758 |i has work:  |a Verification of communication protocols in web services (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFqxwK6p7bHdx7kbDVcJTb  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Mukherjee, Anshuman.  |t Verification of communication protocols in web services.  |d Hoboken, New Jersey : Wiley, 2013  |z 9780470905395  |w (DLC) 2013011613 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1443830  |z Texto completo 
856 4 0 |u https://learning.oreilly.com/library/view/~/9780470905395/?ar  |z Texto completo 
938 |a 123Library  |b 123L  |n 111396 
938 |a Books 24x7  |b B247  |n bks00062724 
938 |a ebrary  |b EBRY  |n ebr10780707 
938 |a EBSCOhost  |b EBSC  |n 651076 
938 |a YBP Library Services  |b YANK  |n 11211882 
938 |a YBP Library Services  |b YANK  |n 10706311 
994 |a 92  |b IZTAP 

Ejemplares similares