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 354
- Downloads 0
Managing flexible care with a context aware system for ageing-in-place
This paper describes the Care4Balance (C4B) system for better facilitating communication and task coordination between formal and informal caregivers, and older adults as care receivers. Field-tests with older adults (n=...
A Context-dependent Service Model
In service-oriented systems a service invariably is bound to a contract. This contract includes the functionalities and quality of services guarantees that the provider can make. But such guarantees are not absolute. A s...
Highlighted Activities of ICCASA 2015
The Fourth International Conference on Context-Aware Systems and Applications (ICCASA 2015) [1] is jointly organized by EAI, Nguyen Tat Thanh University (NTTU), and Ba Ria-Vung Tau University (BRVTU) and endorsed by the...
Context-aware Readings with Inbooki
E-books are more and more spreading among readers, who take advantage from the capability of reading them on different devices and of storing a whole library of books in a light and portable device. What is still missing...
A federation of simulations based on cellular automata in cyber-physical systems
In cyber-physical system (CPS), cooperation between a variety of computational and physical elements usually poses difficulties to current modelling and simulation tools. Although much research has proposed to address th...