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

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.
Content:
Chapter 1 INTRODUCTION (pages 1–14):
Chapter 2 MODEL CHECKING (pages 15–26):
Chapter 3 PETRI NETS (pages 27–56):
Chapter 4 WEB SERVICES (pages 57–76):
Chapter 5 MEMORY‐EFFICIENT STATE‐SPACE ANALYSIS IN SOFTWARE MODEL CHECKING (pages 77–114):
Chapter 6 TIME‐EFFICIENT STATE‐SPACE ANALYSIS IN SOFTWARE MODEL CHECKING (pages 115–154):
Chapter 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES (pages 155–204):
Chapter 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION (pages 205–244):
Chapter 9 CONCLUSIONS AND OUTLOOK (pages 245–254):