|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
ocn844074308 |
| 003 |
OCoLC |
| 005 |
20240623213015.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
|d UEJ
|
| 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
|
| 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
|
| 049 |
|
|
|a HCDD
|
| 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.
|
| 650 |
|
0 |
|a Web services
|x Testing.
|
| 650 |
|
0 |
|a Computer network protocols.
|
| 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.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=1443830
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|