Read more
Informationen zum Autor 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. Klappentext 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 networkingIn 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 SpecificationComplete 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. Zusammenfassung 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. Inhaltsverzeichnis PREFACE xi 1 INTRODUCTION: SERVICE RELIABILITY 1 1.1 Motivation 4 1.2 Technical Challenges 5 1.3 Summary of Earlier Solutions 7 1.4 Summary of New Ways to Verify Web Services 8 1.5 Structure of the Book 10 References 11 2 MODEL CHECKING 15 2.1 Advantages and Disadvantages of Model Checking 18 2.2 State-Space Explosion 19 2.3 Model-Checking Tools 22 References 25 3 PETRI NETS 27 3.1 Colored Petri Nets 31 3.1.1 CPN ML 31 3.1.2 CPN Syntax and Semantics 35 3.1.3 Timed Colored Petri Nets 41 3.1.4 Multisets 47 3.1.5 CPN Definitions 47 3.2 Hierarchical Colored Petri Nets 49 References 55 4 WEB SERVICES 57 4.1 Business Process Execution Language 59 4.2 Spring Framework 70 4.3 JAXB 2 APIs 74 4.3.1 Unmarshaling XML Documents 74 4.3.2 Marshaling Java Objects 75 References 76 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77 5.1...
