Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing) - Hardcover

Tari, Zahir; Bertok, Peter; Mukherjee, Anshuman

Hardcover

ISBN 10: 0470905395 ISBN 13: 9780470905395

Publisher: Wiley, 2013

Synopsis

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.

About this title

About the Author

ZAHIR TARI, PhD, is Professor in Distributed Systems at the Royal Melbourne Institute of Technology (RMIT University), and head of the Distributed Systems and Networking group at the School of Computer Science and IT. He is the author of two books, editor of over four, and has been published in numerous prestigious journals and conferences.

PETER BERTOK researches and lectures on networked and distributed systems at RMIT University. He has over 100 publications for conferences and journals and has written numerous book chapters. He is vice chair of the IFIP Working Group on Co-operation Infrastructure for Virtual Enterprises and Electronic Business, and is a member of the IEEE and the ACM.

ANSHUMAN MUKHERJEE teaches at the Institute of Information Technology, University of Dhaka in Bangladesh. He has published multiple works on sensor networking in addition to authoring one book on the subject.

From the Back Cover

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
Zahir Tari, Peter Bertok, Anshuman Mukherjee

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.

From the Inside Flap

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.

Edition details

• Publisher: Wiley
• Publication date: 2013
• Language: English
• ISBN 10: 0470905395
• ISBN 13: 9780470905395
• Binding: Hardcover
• Edition number: 1
• Number of pages: 272