Verification of Communication Protocols in Web Services
Home > Science, Technology & Agriculture > Electronics and communications engineering > Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

|
     0     
5
4
3
2
1




Available


About the Book

In 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.

Table of Contents:
PREFACE xi 1 INTRODUCTION: SERVICE RELIABILITY 1 1.1 Motivation 4 1.2 Technical Challenges 5 1.3 Summary of Earlier Solutions 7 1.4 Summary of New Ways to Verify Web Services 8 1.5 Structure of the Book 10 References 11 2 MODEL CHECKING 15 2.1 Advantages and Disadvantages of Model Checking 18 2.2 State-Space Explosion 19 2.3 Model-Checking Tools 22 References 25 3 PETRI NETS 27 3.1 Colored Petri Nets 31 3.1.1 CPN ML 31 3.1.2 CPN Syntax and Semantics 35 3.1.3 Timed Colored Petri Nets 41 3.1.4 Multisets 47 3.1.5 CPN Definitions 47 3.2 Hierarchical Colored Petri Nets 49 References 55 4 WEB SERVICES 57 4.1 Business Process Execution Language 59 4.2 Spring Framework 70 4.3 JAXB 2 APIs 74 4.3.1 Unmarshaling XML Documents 74 4.3.2 Marshaling Java Objects 75 References 76 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77 5.1 Motivation 78 5.2 Overview of the Problem and Solution 79 5.3 Related Work 83 5.4 Models for Memory-Efficient State-Space Analysis 86 5.4.1 Sequential Model 87 5.4.2 Tree Model 98 5.5 Experimental Results 108 5.6 Discussion 112 5.7 Summary 113 References 113 6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 115 6.1 Motivation 116 6.2 Overview of the Problem and Solution 118 6.3 Overview of Hierarchical Colored Petri Nets 119 6.4 Related Work 123 6.5 Technique for Time-Efficient State-Space Analysis 125 6.5.1 Access Tables and Parameterized Reachability Graph 126 6.5.2 Exploring a Module 129 6.5.3 Access Table and Parameterized Reachability Graph for a Super-module 134 6.5.4 Algorithms for Generating Access Tables and Parameterized Reachability Graphs 137 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs 143 6.5.6 Theoretical Evaluation of the Reduction in Delay 145 6.6 Experimental Results 149 6.7 Discussion 151 6.8 Summary 152 References 153 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES 155 7.1 Motivation 156 7.2 Overview of the Problem and Solution 158 7.3 Basics of Substitution Transition 160 7.4 Related Work 161 7.5 Method for Installing Hierarchy 162 7.5.1 Lookup Method 163 7.5.2 Clustering Method 189 7.5.3 Time Complexity of the Lookup Algorithm 193 7.6 Experimental Results 194 7.7 Discussion 201 7.8 Summary 202 References 203 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION 205 8.1 Motivation 206 8.2 Overview of the Problem and Solution 208 8.3 Related Work 209 8.4 Colored Petri Net Semantics for BPEL 211 8.4.1 Component A 211 8.4.2 Component B 214 8.4.3 Object Model for BPEL Activities 217 8.4.4 XML Templates 221 8.4.5 Algorithm for Cloning Templates 234 8.5 Results 236 8.6 Discussion 241 8.7 Summary 242 References 242 9 CONCLUSIONS AND OUTLOOK 245 9.1 Results 246 9.2 Discussion 249 9.3 What Could Be Improved?  251 References 252 INDEX 255 


Best Sellers


Product Details
  • ISBN-13: 9780470905395
  • Publisher: John Wiley & Sons Inc
  • Publisher Imprint: John Wiley & Sons Inc
  • Height: 243 mm
  • No of Pages: 272
  • Returnable: N
  • Sub Title: Model-Checking Service Compositions
  • Width: 161 mm
  • ISBN-10: 0470905395
  • Publisher Date: 06 Dec 2013
  • Binding: Hardback
  • Language: English
  • Returnable: N
  • Spine Width: 17 mm
  • Weight: 603 gr


Similar Products

Add Photo
Add Photo

Customer Reviews

REVIEWS      0     
Click Here To Be The First to Review this Product
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
John Wiley & Sons Inc -
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    New Arrivals

    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!