You are previewing Formal and Practical Aspects of Autonomic Computing and Networking.
O'Reilly logo
Formal and Practical Aspects of Autonomic Computing and Networking

Book Description

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
    2. List of Reviewers
  5. Foreword
  6. Preface
    1. Section 1: Formal and Practical Aspects of Autonomic Computing
    2. Section 2: Formal and Practical Aspects of Autonomic Networking
  7. Section 1: Formal and Practical Aspects of Autonomic Computing
    1. Chapter 1: Formal Methods for the Development and Verification of Autonomic IT Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. CONCLUSION
    2. Chapter 2: Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL
      1. Abstract
      2. 1. Introduction
      3. 2. ASSL
      4. 3. Developing Self-managing Systems with ASSL
      5. 4. CONCLUSION
    3. Chapter 3: Specification, Development, and Verification of CASCADAS Autonomic Computing and Networking Toolkit
      1. Abstract
      2. INTRODUCTION
      3. SCENARIOS AND MOTIVATIONS
      4. STATE OF ART
      5. CASCADAS ACE TOOLKIT DESIGN AND DEVELOPMENT
      6. USE CASE AND DEMONSTRATIONS
      7. CASCADAS ACE TOOLKIT EXPERIMENTAL VALIDATION
      8. FUTURE RESEARCH DIRECTIONS
      9. CONCLUSION
    4. Chapter 4: Swarm Intelligence in Autonomic Computing
      1. ABSTRACT
      2. INTRODUCTION
      3. INTRODUCTION TO THE PARTICLE SWARM OPTIMIZATION
      4. MAPPING AUTONOMIC CONTEXT DISCOVERY TO PARTICLE SWARM INTELLIGENCE
      5. PSO-BASED AUTONOMIC CONTEXT DISCOVERY
      6. SIMULATION OF THE PSO-BASED AUTONOMIC CONTEXT DISCOVERY
      7. CONCLUSION
      8. APPENDIX A: EXERCISES ON THE PSO-BASED AUTONOMIC CONTEXT DISCOVERY
    5. Chapter 5: Autonomic Computing
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. APPLICATION OF FUZZY CONTROL TO ECOMMERCE: AN OVERVIEW
      5. MINIMIZING RESPONSE TIME
      6. MAXIMIZING THE PROFIT
      7. FUTURE RESEARCH DIRECTIONS
      8. EXERCISES
      9. CONCLUSION
    6. Chapter 6: Genetic Programming for System Identification
      1. Abstract
      2. INTRODUCTION
      3. BACKGROUND
      4. EVOLVEMENT OF DYNAMIC NONLINEAR MODELS
      5. FUTURE RESEARCH DIRECTIONS
      6. CONCLUSION
      7. APPENDIX: EXERCISES
  8. Section 2: Formal and Practical Aspects of Autonomic Networking
    1. Chapter 7: Formal Specification and Verification of Self-Configuring P2P Networking
      1. ABSTRACT
      2. INTRODUCTION
      3. BASIC CONCEPTS
      4. FORMAL SPECIFICATION OF ME PEERS: A CASE STUDY
      5. FORMAL VERIFICATION OF ME PEERS: A CASE STUDY
      6. NOTES AND REMARKS
      7. SUMMARY
      8. EXERCISES
      9. FURTHER READING AND CONCLUSION
    2. Chapter 8: Logical Methods for Self-Configuration of Network Devices
      1. Abstract
      2. INTRODUCTION
      3. Background
      4. Modelling of Self-Rules with Propositional Logic
      5. MODELLING OF SELF-RULES WITH FIRST-ORDER LOGIC
      6. Other Approaches
      7. Open Issues
      8. Conclusion
    3. Chapter 9: Bio-Inspired Techniques for Topology Control of Mobile Nodes
      1. Abstract
      2. INTRODUCTION
      3. Background
      4. OUR FORCE-BASED GENEtic algorithm
      5. DISCRETE-TIME DYNAMICAL SYSTEM MODEL
      6. simulation experiments for FGA
      7. TEstbed implementations for FGA
      8. FuTURE rESEARCH dIRECTIONS
      9. SUMMARY
    4. Chapter 10: Niche
      1. Abstract
      2. INTRODUCTION
      3. Background
      4. Related Work
      5. Our Approach
      6. Challenges
      7. NICHE: A PLATFORM FOR SELF-MANAGING DISTRIBUTED APPLICATIONS
      8. dEVELOPMENT of Self-Managing Applications Using Niche
      9. A Design Methodology for Self-Management in Distributed Environments
      10. DeMonstrator applications
      11. Policy Based Management
      12. CONCLUSION
      13. FuTURE Work
      14. Further Reading
      15. Exercises
    5. Chapter 11: A Guideline for Realizing the Vision of Autonomic Networking
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. Case studies
      5. FUTURE RESEARCH DIRECTIONS
      6. CONCLUSION
    6. Chapter 12: Network-Aided Session Management for Adaptive Context-Aware Multiparty Communications
      1. ABSTRACT
      2. Introduction
      3. Adaptive context-Aware sessions
      4. conclusion and Future research Directions
      5. Additional Exercises
    7. Chapter 13: On Using Multiagent Systems for Spectrum Sharing in Cognitive Radios Networks
      1. Abstract
      2. 1.1 Introduction
      3. 1.2 cognitive radio
      4. 1.3. multiagent systems
      5. 1.4. Spectrum sharing/allocation: The state of the art
      6. 1.5. some Spectrum sharing Scenarios
      7. 1.6. conclusion
  9. About the Contributors
  10. Index