An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”
Journal Title: EAI Endorsed Transactions on Context-aware Systems and Applications - Year 2014, Vol 1, Issue 2
Abstract
Dr. Phan Cong Vinh, Nguyen Tat Thanh University in Vietnam, introduces the book titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification” edited by himself and published by IGI Global in 2011 to scientists, researchers, professionals and students in the field of computing. Hopefully, they will find this book provoking for their research related to autonomics and being useful to their future work. Introduction A new computing and networking paradigm is currently on the spot as one of the priority research areas and its research activities are booming recently: autonomic computing and networking (ACN), which are inspired by the human autonomic nervous system. ACN are characterized by their self-* facets such as selforganization, self- configuration, self-healing, selfoptimization, self-protection and so on whose contextawareness used to dynamically control computing and networking functions. The overarching goal of ACN is to realize computing and networking systems, that can manage themselves without direct human interventions. Meeting this grand challenge of ACN requires a rigorous approach to ACN and the notion of self-*. To this end, taking advantage of formal methods we establish, in this book, formal and practical aspects of ACN through specifying, refining, programming and verifying ACN and their self-*. All of these are to achieve foundations and practice of ACN. From the above characteristics, novel approaches of specification, refinement, programming and verification are arising in formal methods for ACN. Therefore, new methodologies, programming models, tools and techniques are imperative to deal with the impact of ACN and their self-* mentioned above on emerging computing and networking systems. This book [1] is preferred to be a reference material for readers who already have a basic understanding of ACN and are now ready to know how to specify, develop and verify ACN using rigorous approaches. Hence, the book includes both theoretical contributions and reports on applications. For keeping a reasonable trade-off between theoretical and practical issues, a careful selection of the chapters was completed, on the one hand, to cover a broad spectrum of formal and practical aspects and, on the other hand, to achieve as much as possible a selfcontained book.
Authors and Affiliations
Phan Cong Vinh
Keywords
Related Articles
- EP ID EP45747
- DOI http://dx.doi.org/10.4108/casa.1.2.e6
- Views 379
- Downloads 0
Design and optimization of the Automatic Brown PlantHopper (BPH) light trap surveillance network
Communicating coverage of automatic BPH light trap surveillance network characterizes how well an area is monitored or tracked by automatic light traps. Connectivity is an important required that shows how nodes in a aut...
FoCAS Project's Interview with Dr. Phan Cong Vinh, ICCASA 2013 General Chair
Dr. Phan Cong Vinh, Nguyen Tat Thanh University in Vietnam, General Chair of the 2nd International Conference on Context-Aware Systems and Applications (ICCASA 2013) shares with Prof. Giacomo Cabri, a FoCAS project's...
Context-based Project Management
Context-based computing has become an integral part of the software infrastructure of modern society. Better software are made adaptive to suit the surrounding environment. Context-based applications best fit into enviro...
Holistic Personas for Designers of a Context-Aware Accounting Information Systems e-Learning Application
E-learning systems have been increasingly used to train and empower employees to take a more active role in the creation and dissemination of system knowledge, when, either new systems are installed, or existing systems...
Applying Log Data to Context-Awareness in Home Network System
In the conventional context-aware services of the home network system (HNS), every context has been defined by current (or recent) situations only. Considering past situations in a house would significantly extend the ex...