You are previewing Verification of Communication Protocols in Web Services: Model-Checking Service Compositions.
O'Reilly logo
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

Book Description

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

  1. Cover Page
  2. Title Page
  3. Copyright
  4. Dedication
  5. CONTENTS
  6. PREFACE
  7. CHAPTER 1: INTRODUCTION: SERVICE RELIABILITY
    1. 1.1 MOTIVATION
    2. 1.2 TECHNICAL CHALLENGES
    3. 1.3 SUMMARY OF EARLIER SOLUTIONS
    4. 1.4 SUMMARY OF NEW WAYS TO VERIFY WEB SERVICES
    5. 1.5 STRUCTURE OF THE BOOK
    6. REFERENCES
  8. CHAPTER 2: MODEL CHECKING
    1. 2.1 ADVANTAGES AND DISADVANTAGES OF MODEL CHECKING
    2. 2.2 STATE-SPACE EXPLOSION
    3. 2.3 MODEL-CHECKING TOOLS
    4. REFERENCES
  9. CHAPTER 3: PETRI NETS
    1. 3.1 COLORED PETRI NETS
    2. 3.2 HIERARCHICAL COLORED PETRI NETS
    3. REFERENCES
  10. CHAPTER 4: WEB SERVICES
    1. 4.1 BUSINESS PROCESS EXECUTION LANGUAGE
    2. 4.2 SPRING FRAMEWORK
    3. 4.3 JAXB 2 APIs
    4. REFERENCES
  11. CHAPTER 5: MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING
    1. 5.1 MOTIVATION
    2. 5.2 OVERVIEW OF THE PROBLEM AND SOLUTION
    3. 5.3 RELATED WORK
    4. 5.4 MODELS FOR MEMORY-EFFICIENT STATE-SPACE ANALYSIS
    5. 5.5 EXPERIMENTAL RESULTS
    6. 5.6 DISCUSSION
    7. 5.7 SUMMARY
    8. REFERENCES
  12. CHAPTER 6: TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING
    1. 6.1 MOTIVATION
    2. 6.2 OVERVIEW OF THE PROBLEM AND SOLUTION
    3. 6.3 OVERVIEW OF HIERARCHICAL COLORED PETRI NETS
    4. 6.4 RELATED WORK
    5. 6.5 TECHNIQUE FOR TIME-EFFICIENT STATE-SPACE ANALYSIS
    6. 6.6 EXPERIMENTAL RESULTS
    7. 6.7 DISCUSSION
    8. 6.8 SUMMARY
    9. REFERENCES
  13. CHAPTER 7: GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES
    1. 7.1 MOTIVATION
    2. 7.2 OVERVIEW OF THE PROBLEM AND SOLUTION
    3. 7.3 BASICS OF SUBSTITUTION TRANSITION
    4. 7.4 RELATED WORK
    5. 7.5 METHOD FOR INSTALLING HIERARCHY
    6. 7.6 EXPERIMENTAL RESULTS
    7. 7.7 DISCUSSION
    8. 7.8 SUMMARY
    9. REFERENCES
  14. CHAPTER 8: FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION
    1. 8.1 MOTIVATION
    2. 8.2 OVERVIEW OF THE PROBLEM AND SOLUTION
    3. 8.3 RELATED WORK
    4. 8.4 COLORED PETRI NET SEMANTICS FOR BPEL
    5. 8.5 RESULTS
    6. 8.6 DISCUSSION
    7. 8.7 SUMMARY
    8. REFERENCES
  15. CHAPTER 9: CONCLUSIONS AND OUTLOOK
    1. 9.1 RESULTS
    2. 9.2 DISCUSSION
    3. 9.3 WHAT COULD BE IMPROVED?
    4. REFERENCES
  16. INDEX