Verification of Communication Protocols in Web Services

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

Chapter 1 Introduction: Service Reliability
Chapter 2 Model Checking
Chapter 3 Petri Nets
Chapter 4 Web Services
Chapter 5 Memory-Efficient State-Space Analysis In Software Model Checking
Chapter 6 Time-Efficient State-Space Analysis In Software Model Checking
Chapter 7 Generating Hierarchical Models By Identifying Structural Similarities
Chapter 8 Framework For Modeling, Simulation, And Verification Of A Bpel Specification
Chapter 9 Conclusions And Outlook