Abstract
A new computing paradigm is currently on spot: autonomic computing (AC), which is inspired by the human autonomic nervous system. AC is characterized by its self-* facets such as self-configuration, self-healing, self-optimization, and self-protection. The overarching goal of AC is to realize computer systems, and thus networked computing systems, that can manage themselves without direct human interventions. Meeting this grand challenge of autonomic computing requires a fundamental approach to the notion of self-*. To this end, taking advantage of the categorical approach we establish, in this chapter, a firm formal basis for modeling self-* in autonomic networked computing systems, developing self-* monoid, category of self-* monoids, and series of self-* facets. All of these are to achieve formal aspects of the self-*.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
S. Abdelwahed and N. Kandasamy. Autonomic Computing: Concepts, Infrastructure and Applications, chapter A Control-Based Approach to Autonomic Performance Management in Computing Systems, pages 149–168. CRC Press, 1st edition, 2006.
J. Adamek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. John Wiley and Sons, 1990.
R. Adams et al. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Scalable Management – Technologies for Management of Large-Scale, Distributed Systems, pages 305–328. CRC Press, 1st edition, 2006.
R.R. Amoud et al. Advanced Autonomic Networking and Communication, chapter An Autonomic MPLS DiffServ-TE Domain, pages 149–168. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
R. Anthony, A. Butler, and M. Ibrahim. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Exploiting Emergence in Autonomic Systems, pages 121–148. CRC Press, 1st edition, 2006.
A. Asperti and G. Longo. Categories, Types and Structures. M.I.T. Press, 1991.
G. M. Bergman. An Invitation to General Algebra and Universal Constructions. Henry Helson, 15 The Crescent, Berkeley CA 94708, USA, 1998.
V. Bhat, M. Parashar, and N. Kandasamy. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Autonomic Data Streaming for High-Performance Scientific Applications, pages 413–434. CRC Press, 1st edition, 2006.
D.W. Bustard and R. Sterritt. Autonomic Computing: Concepts, Infrastructure and Applications, chapter A Requirements Engineering Perspective on Autonomic Systems Development, pages 19–34. CRC Press, 1st edition, 2006.
W. Butera. Text Display and Graphics Control on a Paintable Computer. In G.D.M. Serugendo, J.P.M. Flatin, and M. Jelasity, editors, Proceedings of 1st International Conference on Self-Adaptive and Self-Organizing Systems (SASO’07), pages 45–54. IEEE Computer Society Press. Boston, MA, USA, 9–11 July 2007.
M. Calisti, R. Ghizzioli, and D. Greenwood. Advanced Autonomic Networking and Communication, chapter Autonomic Service Access Management for Next Generation Converged Networks, pages 101–126. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
M. Calisti, S.V.D. Meer, and J. Strassner, editors. Advanced Autonomic Networking and Communication. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 2008. 190 pages.
A. Chakravarti, G. Baumgartner, and M. Lauria. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Self-Organizing Scheduling on the Organic Grid, pages 389–412. CRC Press, 1st edition, 2006.
J. Chen et al. Advanced Autonomic Networking and Communication, chapter Game Theoretic Framework for Autonomic Spectrum Management in Heterogeneous Wireless Networks, pages 169–190. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
D.M. Chess, J.E. Hanson, J.O. Kephart, I. Whalley, and S.R. White. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Dynamic Collaboration in Autonomic Computing, pages 253–274. CRC Press, 1st edition, 2006.
L. Durham, M. Milenkovic, P. Cayton, and M. Yousif. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Platform Support for Autonomic Computing: A Research Vehicle, pages 329–350. CRC Press, 1st edition, 2006.
C. Fahy et al. Advanced Autonomic Networking and Communication, chapter Modelling Behaviour and Distribution for the Management of Next Generation Networks, pages 43–62. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
A. Ganek. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Overview of Autonomic Computing: Origins, Evolution, Direction, pages 3–18. CRC Press, 1st edition, 2006.
D. Greenwood and R. Ghizzioli. Advanced Autonomic Networking and Communication, chapter Autonomic Communication with RASCAL Hybrid Connectivity Management, pages 63–80. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
R. Griffith, G. Valetto, and G. Kaiser. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Effecting Runtime Reconfiguration in Managed Execution Environments, pages 369–388. CRC Press, 1st edition, 2006.
T. Heinis, C. Pautasso, and G. Alonso. Autonomic Computing: Concepts, Infrastructure and Applications, chapter A Self-Configuring Service Composition Engine, pages 237–252. CRC Press, 1st edition, 2006.
IBM. Autonomic Computing Manifesto. Retrieved from http://www.research.ibm.com/autonomic/, 2001.
B. Jacobs and J. Rutten. A Tutorial on (Co)Algebras and (Co)Induction. Bulletin of EATCS, 62:222–259, 1997.
G. Jiang et al. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Trace Analysis for Fault Detection in Application Servers, pages 471–492. CRC Press, 1st edition, 2006.
X. Jin and J. Liu. From Individual Based Modeling to Autonomy Oriented Computation. In M. Nickles, M. Rovatsos, and G. Weiss, editors, Agents and Computational Autonomy: Potential, Risks, and Solutions, volume 2969 of Lecture Notes in Computer Science, pages 151 – 169. Springer Berlin, April 2004.
B. Khargharia and S. Hariri. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Autonomic Power and Performance Management of Internet Data, pages 435–470. CRC Press, 1st edition, 2006.
W. Kinsner.Towards Cognitive Machines: Multiscale Measures and Analysis. The International Journal on Cognitive Informatics and Natural Intelligence (IJCINI), 1(1):28–38, 2007.
S. Ko, I. Gupta, and Y. Jo. Novel Mathematics-Inspired Algorithms for Self-Adaptive Peer-to-Peer Computing. In G.D.M. Serugendo, J.P.M. Flatin, and M. Jelasity, editors, Proceedings of 1st International Conference on Self-Adaptive and Self-Organizing Systems (SASO’07), pages 3–12. IEEE Computer Society Press. Boston, Massachusetts, USA, 9–11 July 2007.
F.W. Lawvere and S.H. Schanuel. Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, 1 st edition, 1997.
M. Levine. Categorical Algebra. In G. Benkart, T.S. Ratiu, H.A. Masur, and M. Renardy, editors, Mixed Motives, volume 57 of Mathematical Surveys and Monographs, chapter I, II, II of Part II, pages 373–499. American Mathematical Society, USA, 1998.
H. Liu and M. Parashar. Autonomic Computing: Concepts, Infrastructure and Applications, chapter A Programming System for Autonomic Self-Managing Applications, pages 211–236. CRC Press, 1st edition, 2006.
J.A.L López, J.M.G. Munoz, and J.M. Padial. Advanced Autonomic Networking and Communication, chapter A Telco Approach to Autonomic Infrastructure Management, pages 27–42. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
S.V.D. Meer et al. Advanced Autonomic Networking and Communication, chapter Technology Neutral Principles and Concepts for Autonomic Networking, pages 1–25. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
D.A. Menascé and M.N. Bennani. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Dynamic Server Allocation for Autonomic Service Centers in the Presence of Failures, pages 353–368. CRC Press, 1st edition, 2006.
G. Nguengang et al. Advanced Autonomic Networking and Communication, chapter Autonomic Resource Regulation in IP Military Networks: A Situatedness Based Knowledge Plane, pages 81–100. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
O. Pacheco. Autonomy in an Organizational Context. In M. Nickles, M. Rovatsos, and G. Weiss, editors, Agents and Computational Autonomy: Potential, Risks, and Solutions, volume 2969 of Lecture Notes in Computer Science, pages 195–208. Springer Berlin, April 2004.
M. Parashar. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Autonomic Grid Computing: Concepts, Requirements, and Infrastructure, pages 49–70. CRC Press, 1st edition, 2006.
M. Parashar and S. Hariri, editors. Autonomic Computing: Concepts, Infrastructure and Applications, 568 pages. CRC Press, 1st edition, December 2006.
G. Qu and S. Hariri. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Anomaly-Based Self Protection against Network Attacks, pages 493–522. CRC Press, 1st edition, 2006.
M.A. Razzaque, S. Dobson, and P. Nixon. Advanced Autonomic Networking and Communication, chapter Cross-layer Optimisations for Autonomic Networks, pages 127–148. Whitestein Series in Software Agent Technologies and Autonomic Computing. Springer-Verlag, 1st edition, 2008.
R.V. Renesse and K.P. Birman. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Autonomic Computing: A System-Wide Perspective, pages 35–48. CRC Press, 1st edition, 2006.
J.J.M.M. Rutten. Universal Coalgebra: A Theory of Systems. Theoretical Computer Science, 249(1):3–80, 17 October 2000.
J.J.M.M. Rutten. Elements of Stream Calculus (An Extensive Exercise in Coinduction). Electronic Notes in Theoretical Computer Science, 45, 2001. Elsevier Science Publishers Ltd.
S.M. Sadjadi and P.K. McKinley. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Transparent Autonomization in Composite Systems, pages 169–188. CRC Press, 1st edition, 2006.
K. Schwan et al. Autonomic Computing: Concepts, Infrastructure and Applications, chapter AutoFlow: Autonomic Information Flows for Critical Information Systems, pages 275–304. CRC Press, 1st edition, 2006.
P. Steenkiste and A.C. Huang. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Recipe-Based Service Configuration and Adaptation, pages 189–208. CRC Press, 1st edition, 2006.
J.W. Sweitzer and C. Draper. Autonomic Computing: Concepts, Infrastructure and Applications, chapter Architecture Overview for Autonomic Computing, pages 71–98. CRC Press, 1st edition, 2006.
P.C. Vinh. Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems. PhD thesis, London South Bank University, 103 Borough Road, London SE1 0AA, UK, 4 May 2006.
P.C. Vinh. Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems. Scientific Annals of Computer Science, (XVII):113–145, 2007.
P.C. Vinh and J.P. Bowen. A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. In Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 369–378. IEEE Computer Society Press. Shanghai, China, 6–8 June 2007.
P.C. Vinh and J.P. Bowen. Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. LNCS Transactions on Computational Science, 1(4750):1–36, June 2008.
Y. Wang. Exploring machine cognition mechanisms for autonomic computing. The International Journal on Cognitive Informatics and Natural Intelligence (IJCINI), 1(2):i–v, 2007.
Y. Wang. Toward Theoretical Foundations of Autonomic Computing. The International Journal of Cognitive Informatics and Natural Intelligence (IJCiNi), 1(3):1–16, July–September 2007.
M. Witkowski and K. Stathis. A Dialectic Architecture for Computational Autonomy. In M. Nickles, M. Rovatsos, and G. Weiss, editors, Agents and Computational Autonomy: Potential, Risks, and Solutions, volume 2969 of Lecture Notes in Computer Science, pages 261–273. Springer Berlin, April 2004.
T.D. Wolf and T. Holvoet. Autonomic Computing: Concepts, Infrastructure and Applications, chapter A Taxonomy for Self-* Properties in Decentralized Autonomic Computing, pages 101–120. CRC Press, 1st edition, 2006.
B. Yang and J. Liu. An Autonomy Oriented Computing (AOC) Approach to Distributed Network Community Mining. In G.D.M. Serugendo, J.P.M. Flatin, and M. Jelasity, editors, Proceedings of 1st International Conference on Self-Adaptive and Self-Organizing Systems (SASO’07), pages 151–160. IEEE Computer Society Press, Boston, MA, USA, 9–11 July 2007.
Acknowledgments
Thank you to the anonymous reviewers for their helpful comments and valuable suggestions which have contributed to the final preparation of the chapter. As always, I am deeply indebted to Professor Jonathan P. Bowen, Head of the Centre for Applied Formal Methods (CAFM) at London South Bank University (LSBU) in United Kingdom, for a constant source of inspiration and encouragement for the work which culminated in the publication of this chapter.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag US
About this chapter
Cite this chapter
Cong-Vinh, P. (2009). Formal Aspects of Self-* in Autonomic Networked Computing Systems. In: Zhang, Y., Yang, L., Denko, M. (eds) Autonomic Computing and Networking. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-89828-5_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-89828-5_16
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-89827-8
Online ISBN: 978-0-387-89828-5
eBook Packages: EngineeringEngineering (R0)