Cargando…
Verification of communication protocols in web services : model-checking service compositions /
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| 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: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | OR_ocn844074308 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.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 | ||
| 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 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 |0 (OCoLC)fst00872279 | |
| 700 | 1 | |a Tari, Zahir. | |
| 700 | 1 | |a Bertók, Péter, |d 1952- | |
| 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://learning.oreilly.com/library/view/~/9780470905395/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 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 | ||