Verification of Communication Protocols in Web Services

Gathers recent advancements in the field of self-organizing wireless sensor networks and provides readers with the essential, state-of-the-art information about sensor networking

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 put a great deal of effort into coming up with innovative ideas.

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions gathers recent advancements in the field of self-organizing wireless sensor networks and provides readers with integral information about sensor networking. It introduces current technological trends, particularly in node organization, and provides implementation details of each networking type to help readers set up sensor networks in their related job fields. In addition, it identifies the limitations of current technologies, as well as future research directions. Topics covered include:

• Memory Efficient State Space Analysis in Software Model-Checking
• Time Efficient State Space Analysis in Software Model-Checking
• Generating Hierarchical Models by Identifying Structural Similarities
• A Framework for Modeling, Simulation, and Verification of a BPEL Specification

Complete with chapter review and discussion questions, Verification of Communication Protocols in Web Services is an ideal book for network developers, researchers, and graduate-level students.