MOTION-Paper: “Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks”
News from Aug. 13, 2012
A case study, based on the Hierarchical Autonomic Management and Control Architectural Framework called GANA, is used for highlighting the practical benefits and design choices available to modelers and autonomic components designers. The results of the case study are analyzed to explain the tradeoffs that designers would be forced to make in order to achieve their design objectives for an autonomic network.
 A. Prakash, Z. Theisz, and R. Chaparadza, “Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks,” in Transactions on Computational Science XV, ser. Lecture Notes in Computer Science, M. Gavrilova, C. Tan, and C.-V. Phan, Eds. Springer Berlin / Heidelberg, 2012, vol. 7050, pp. 1–48, online available.