@inproceedings{c9ceb1b1f0544850b426488a55b6ac16,
title = "Formal specification of automatic DMARF based on CSP",
abstract = "Nowadays, along with computing system becomes more and more complex, it is even harder to control the system effectively. In order to make it easier and ensure the reliability, the computing system needs to be self managed. In 2001, IBM proposed the concept of Autonomic Computing, in which system can manage itself through controlling the interaction of all the consisted parts. However, designing the interaction and verifying the autonomic features are not easy. Formal specification can be very helpful in achieving this. In this paper, we apply Process Algebra CSP in exploring the autonomic features of DMARF system. We give the formal specification of its three features, including self protection, self-optimization and self-healing.",
keywords = "Autonomic Computing, CSP Methods, DMARF, Formal Specification",
author = "Jieqi Ding and Huibiao Zhu and Qin Li",
year = "2011",
doi = "10.1109/EASe.2011.7",
language = "英语",
isbn = "9780769543802",
series = "Proceedings - 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, EASe 2011",
pages = "32--39",
booktitle = "Proceedings - 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, EASe 2011",
note = "8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, EASe 2011 ; Conference date: 27-04-2011 Through 29-04-2011",
}