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

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

by Kazi Sakib, Zahir Tari, Peter Bertok
Released December 2013
Publisher(s): Wiley
ISBN: 9780470905395

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

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

Product information

  • Title: Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
  • Author(s): Kazi Sakib, Zahir Tari, Peter Bertok
  • Release date: December 2013
  • Publisher(s): Wiley
  • ISBN: 9780470905395