{"product_id":"verification-of-communication-protocols-in-web-services-model-checking-service-compositions-hardback-9780470905395","title":"Verification of Communication Protocols in Web Services; Model-Checking Service Compositions (Hardback) 9780470905395","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eVerification of Communication Protocols in Web Services\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eModel-Checking Service Compositions\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eKazi Sakib (Author), Zahir Tari (Author), Peter Bertok (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780470905395, Wiley\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 6 December 2013\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e272 pages\u003cbr\u003e24.3 x 16.1 x 1.6 cm, 0.603 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eIn the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few years, we have seen a steep growth of research works particularly on various sensor node organization issues. The objective of this book is to gather recent advancements in the fields of self-organizing wireless sensor networks as well as to provide the readers with the essential information about sensor networking.\u003cbr\u003e\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e\u003cp\u003e\u003ci\u003ePREFACE xi\u003c\/i\u003e\u003cbr\u003e \u003cbr\u003e \u003cb\u003e1 INTRODUCTION: SERVICE RELIABILITY 1\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 1.1 Motivation 4\u003cbr\u003e \u003cbr\u003e 1.2 Technical Challenges 5\u003cbr\u003e \u003cbr\u003e 1.3 Summary of Earlier Solutions 7\u003cbr\u003e \u003cbr\u003e 1.4 Summary of New Ways to Verify Web Services 8\u003cbr\u003e \u003cbr\u003e 1.5 Structure of the Book 10\u003cbr\u003e \u003cbr\u003e References 11\u003cbr\u003e \u003cbr\u003e \u003cb\u003e2 MODEL CHECKING 15\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 2.1 Advantages and Disadvantages of Model Checking 18\u003cbr\u003e \u003cbr\u003e 2.2 State-Space Explosion 19\u003cbr\u003e \u003cbr\u003e 2.3 Model-Checking Tools 22\u003cbr\u003e \u003cbr\u003e References 25\u003cbr\u003e \u003cbr\u003e \u003cb\u003e3 PETRI NETS 27\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 3.1 Colored Petri Nets 31\u003cbr\u003e \u003cbr\u003e 3.1.1 CPN ML 31\u003cbr\u003e \u003cbr\u003e 3.1.2 CPN Syntax and Semantics 35\u003cbr\u003e \u003cbr\u003e 3.1.3 Timed Colored Petri Nets 41\u003cbr\u003e \u003cbr\u003e 3.1.4 Multisets 47\u003cbr\u003e \u003cbr\u003e 3.1.5 CPN Definitions 47\u003cbr\u003e \u003cbr\u003e 3.2 Hierarchical Colored Petri Nets 49\u003cbr\u003e \u003cbr\u003e References 55\u003cbr\u003e \u003cbr\u003e \u003cb\u003e4 WEB SERVICES 57\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 4.1 Business Process Execution Language 59\u003cbr\u003e \u003cbr\u003e 4.2 Spring Framework 70\u003cbr\u003e \u003cbr\u003e 4.3 JAXB 2 APIs 74\u003cbr\u003e \u003cbr\u003e 4.3.1 Unmarshaling XML Documents 74\u003cbr\u003e \u003cbr\u003e 4.3.2 Marshaling Java Objects 75\u003cbr\u003e \u003cbr\u003e References 76\u003cbr\u003e \u003cbr\u003e \u003cb\u003e5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 5.1 Motivation 78\u003cbr\u003e \u003cbr\u003e 5.2 Overview of the Problem and Solution 79\u003cbr\u003e \u003cbr\u003e 5.3 Related Work 83\u003cbr\u003e \u003cbr\u003e 5.4 Models for Memory-Efficient State-Space Analysis 86\u003cbr\u003e \u003cbr\u003e 5.4.1 Sequential Model 87\u003cbr\u003e \u003cbr\u003e 5.4.2 Tree Model 98\u003cbr\u003e \u003cbr\u003e 5.5 Experimental Results 108\u003cbr\u003e \u003cbr\u003e 5.6 Discussion 112\u003cbr\u003e \u003cbr\u003e 5.7 Summary 113\u003cbr\u003e \u003cbr\u003e References 113\u003cbr\u003e \u003cbr\u003e \u003cb\u003e6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 115\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 6.1 Motivation 116\u003cbr\u003e \u003cbr\u003e 6.2 Overview of the Problem and Solution 118\u003cbr\u003e \u003cbr\u003e 6.3 Overview of Hierarchical Colored Petri Nets 119\u003cbr\u003e \u003cbr\u003e 6.4 Related Work 123\u003cbr\u003e \u003cbr\u003e 6.5 Technique for Time-Efficient State-Space Analysis 125\u003cbr\u003e \u003cbr\u003e 6.5.1 Access Tables and Parameterized Reachability Graph 126\u003cbr\u003e \u003cbr\u003e 6.5.2 Exploring a Module 129\u003cbr\u003e \u003cbr\u003e 6.5.3 Access Table and Parameterized Reachability Graph for a Super-module 134\u003cbr\u003e \u003cbr\u003e 6.5.4 Algorithms for Generating Access Tables and Parameterized Reachability Graphs 137\u003cbr\u003e \u003cbr\u003e 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs 143\u003cbr\u003e \u003cbr\u003e 6.5.6 Theoretical Evaluation of the Reduction in Delay 145\u003cbr\u003e \u003cbr\u003e 6.6 Experimental Results 149\u003cbr\u003e \u003cbr\u003e 6.7 Discussion 151\u003cbr\u003e \u003cbr\u003e 6.8 Summary 152\u003cbr\u003e \u003cbr\u003e References 153\u003cbr\u003e \u003cbr\u003e \u003cb\u003e7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES 155\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 7.1 Motivation 156\u003cbr\u003e \u003cbr\u003e 7.2 Overview of the Problem and Solution 158\u003cbr\u003e \u003cbr\u003e 7.3 Basics of Substitution Transition 160\u003cbr\u003e \u003cbr\u003e 7.4 Related Work 161\u003cbr\u003e \u003cbr\u003e 7.5 Method for Installing Hierarchy 162\u003cbr\u003e \u003cbr\u003e 7.5.1 Lookup Method 163\u003cbr\u003e \u003cbr\u003e 7.5.2 Clustering Method 189\u003cbr\u003e \u003cbr\u003e 7.5.3 Time Complexity of the Lookup Algorithm 193\u003cbr\u003e \u003cbr\u003e 7.6 Experimental Results 194\u003cbr\u003e \u003cbr\u003e 7.7 Discussion 201\u003cbr\u003e \u003cbr\u003e 7.8 Summary 202\u003cbr\u003e \u003cbr\u003e References 203\u003cbr\u003e \u003cbr\u003e \u003cb\u003e8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION 205\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 8.1 Motivation 206\u003cbr\u003e \u003cbr\u003e 8.2 Overview of the Problem and Solution 208\u003cbr\u003e \u003cbr\u003e 8.3 Related Work 209\u003cbr\u003e \u003cbr\u003e 8.4 Colored Petri Net Semantics for BPEL 211\u003cbr\u003e \u003cbr\u003e 8.4.1 Component A 211\u003cbr\u003e \u003cbr\u003e 8.4.2 Component B 214\u003cbr\u003e \u003cbr\u003e 8.4.3 Object Model for BPEL Activities 217\u003cbr\u003e \u003cbr\u003e 8.4.4 XML Templates 221\u003cbr\u003e \u003cbr\u003e 8.4.5 Algorithm for Cloning Templates 234\u003cbr\u003e \u003cbr\u003e 8.5 Results 236\u003cbr\u003e \u003cbr\u003e 8.6 Discussion 241\u003cbr\u003e \u003cbr\u003e 8.7 Summary 242\u003cbr\u003e \u003cbr\u003e References 242\u003cbr\u003e \u003cbr\u003e \u003cb\u003e9 CONCLUSIONS AND OUTLOOK 245\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e 9.1 Results 246\u003cbr\u003e \u003cbr\u003e 9.2 Discussion 249\u003cbr\u003e \u003cbr\u003e 9.3 What Could Be Improved?  251\u003cbr\u003e \u003cbr\u003e \u003ci\u003eReferences 252\u003c\/i\u003e\u003cbr\u003e \u003cbr\u003e \u003ci\u003eINDEX 255 \u003c\/i\u003e\u003c\/p\u003e\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Electronics \u0026amp; communications engineering [\u003ca title=\"See our other books on Electronics \u0026amp; communications engineering\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Electronics%20\u0026amp;%20communications%20engineering%20%5BTJ%5D%22\"\u003eTJ\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Wiley","offers":[{"title":"Brand New","offer_id":52278088827160,"sku":"9780470905395","price":80.56,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/files\/9780470905395.jpg?v=1781458112","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/verification-of-communication-protocols-in-web-services-model-checking-service-compositions-hardback-9780470905395","provider":"Freshly Printed Books","version":"1.0","type":"link"}