Abstract
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent system, computational reflection and reflective software delivered interesting results which moved towards the development of software systems with features of self-awareness. However, these approaches have not so far generated any clear success in terms of real and useful self-aware software. Here we introduce the theory of abstract communication systems, which describes the world in terms of systems and their environment. Systems comprise dense, inter-referencing clusters of communications. We analyse natural self-aware systems highlighting the critical features which make them able to be self-aware. We analyse software systems in terms of abstract communication systems theory and compare their critical features with these natural self-aware systems. We describe the necessary features of hypothetical self-aware software, discuss the existing barriers that stand in the way of realization of such systems and how these might be overcome.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agrawal, N., et al.: RNA Interference: Biology, Mechanism, and Applications. Microbiology and Molecular Biology Reviews 67, 657–685 (2003)
Alonso, E., Kudenko, D., Kazakov, D. (eds.): Adaptive Agents and Multi-Agent Systems. Springer, Berlin (2003)
Andras, P., Andras, C.D.: Protein interaction world - an alternative hypothesis about the origins of life. To appear in Medical Hypotheses (in press)
Andras, P., Charlton, B.G.: Management from the Perspective of Systems Theory. In: Proceedings of Practising Philosophy of Management - 2004 (2004)
Andras, P., Charlton, B.G.: Democratic Deficit and Communication Inflation in the Health Care System. Journal of Evaluation in Clinical Practice 8, 291–298 (2002)
Appavoo, et al.: Enabling autonomic behavior in systems software with hot swapping. IBM Systems Journal 42, 60–76 (2003)
Ariola, Z.M., Herbelin, H., Sabry, A.: A type-theoretic foundation of continuations and prompts. ACM SIGPLAN Notices 39, 40–53 (2004)
Atkinson, M.P., Morrison, R.: Orthogonally persistent object systems. VLDB Journal 4, 319–401 (1995)
Aviziensis, A., Laprie, J.C., Randell, B.: Fundamental concepts of dependability. Newcastle University Report no. CS-TR-739 (2001)
Barnard, C.I.: The Functions of the Executive. Harvard University Press, Cambridge (1938)
Barr, A., Feigenbaum, E.A.: The Handbook of Artificial Intelligence, 2nd edn., vol. II. Addison-Wesley, Reading (1989)
Behnisch, T., Matsushita, S., Knopfel, T.: Imaging of gene expression during long-term potentiation. Neuroreport 15, 2039–2043 (2004)
Born, R. (ed.): Artificial Intelligence: The Case Against. Routledge, London (1989)
Cazzola, W., Stroud, R.J., Tisato, F.: Reflection and Software Engineering. Springer, Heidelberg (2000)
Charlton, B.G., Andras, P.: The Nature and Function of Management - a perspective from systems theory. Philosophy of Management 3, 3–16 (2004)
Charlton, B.G., Andras, P.: The Modernization Imperative. Imprint Academic, Exeter (2003)
Cohen, P.R., Feigenbaum, E.A.: The Handbook of Artificial Intelligence, 2nd edn., vol. III. Addison-Wesley, Reading (1989)
Di Stefano, A., Fragetta, M., Tramontana, E.: Computational reflection for embedded Java systems. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2003. LNCS, vol. 2889, pp. 437–450. Springer, Heidelberg (2003)
Douence, D., Fradet, P., Sudholt, M.: Composition, reuse, and interaction analysis of stateful aspects. In: Proceedings of AOSD 2004, pp. 141–150. ACM, New York (2004)
Duba, B., Harper, R., MacQueen, D.: Typing first-class continuations in ML. In: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 163–173. ACM, New York (1991)
Ferber, J.: Computational reflection in class based object-oriented languages. ACM SIGPLAN Notices 24, 317–326 (1989)
Foote, B., Johnson, R.E.: Reflective facilities in Smalltalk-80. ACM SIGPLAN Notices 24, 327–335 (1989)
Frank, M.R., Szekely, P.: Adaptive forms: an interaction paradigm for entering structured data. In: Proceedings of the 3rd International Conference on Intelligent User Interfaces, pp. 153–160. ACM, New York (1997)
Furicht, R., Prahofer, H., Hofinger, T., Altmann, J.: Components: A component-based application framework for manufacturing execution systems in C# and.NET. In: Proceedings of TOOLS Pacific 2002, pp. 169–178. ACM, New York (2002)
Gacs, P.: Reliable cellular automata with self-organization. Journal of Statistical Physics 103, 45–267 (2001)
Gamma, E., Helm, R., Johnson, R., Vlissides, E.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Goldberg, A., Robson, D.: Smalltalk - 80. The Language and its Implementation. Addison-Wesley, Reading (1983)
Grothoff, C.: Walkabout revisited: The runabout. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 103–125. Springer, Heidelberg (2003)
Jarzabek, S.: From reuse library experiences to application generation architectures. ACM SIGSOFT Software Engineering Notes 20, 114–122 (1995)
Jarzabek, S., Knauber, P.: Synergy between component-based and generative approaches. ACM SIGSOFT Software Engineering Notes 24, 429–445 (1999)
Jennings, N.R., Sycara, K., Woolridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems 1, 7–38 (1998)
Jones, C.B.: Formal development of correct algorithms: An example based on Earley’s recogniser. In: Proceedings of ACM Conference on Proving Assertions about Programs, pp. 150–169. ACM, New York (1972)
Katara, M., Katz, S.: Architectural views of aspects. In: Proceedings of AOSD 2003, pp. 1–10. ACM, New York (2003)
Killijian, M.-O., Ruiz, J.-C., Fabre, J.-C.: Portable serialization of CORBA objects: a reflective approach. ACM SIGPLAN Notices 37, 68–82 (2002)
Kinzle, D.M., Elder, M.C.: Internet WORMS: past, present, and future: Recent worms: a survey and trends. In: Proceedings of the 2003 ACM workshop on Rapid Malcode, pp. 1–10. ACM, New York (2003)
Landauer, C., Bellman, K.L.: New architectures for constructed complex systems. Applied Mathematics and Computation 120, 149–163 (2001a)
Landauer, C., Bellman, K.L.: Self-modelling systems. In: Laddaga, R., Shrobe, H.E., Robertson, P. (eds.) IWSAS 2001. LNCS, vol. 2614, pp. 238–256. Springer, Heidelberg (2003)
Lee, P.A., Anderson, T.: Fault Tolerance. Principles and Practice, 2nd edn. Springer, Wien (1990)
Lee, Y., et al.: The nuclear RNase III Drosha initiates microRNA processing. Nature 425, 415–419 (2003)
Levine, M., Tjian, R.: Transcription regulation and animal diversity. Nature 424, 147–151 (2003)
Luhmann, N.: Social Systems. Stanford University Press, Palo Alto (1996); Charlton, B.G., Andras, P.: The Modernization Imperative. Imprint Academic, Exeter (2003)
Maes, P.: Concepts and experiments in computational reflection. ACM SIGPLAN Notices 22, 147–155 (1987)
Maghrabi, T., Golshani, F.: Automatic program generation using sequent calculus. In: Proceedings of the 1992 ACM Annual Conference on Communications, pp. 73–81. ACM, New York (1992)
March, J.G., Simon, H.A.: Organizations. Blackwell, Cambridge (1993)
Maturana, H.R., Varela, F.J.: Autopoiesis and Cognition: the realization of the living. D. Reidel Publishing Company, Boston (1980)
Mattick, J.S., Gagen, M.J.: The evolution of controlled multitasked gene networks: The role of introns and other noncoding RNAs in the development of complex organisms. Molecular Biology and Evolution 18, 1611–1630 (2001)
Meister, G., Tuschl, T.: Mechanisms of gene silencing by double-stranded RNA. Nature 431, 343–349 (2004)
Miller, J.G.: Living Systems. McGraw-Hill, New York (1978)
Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1990)
Cinneide, O., Nixon, P.: Patterns and evolution structures: Automated software evolution towards design patterns. In: Proceedings of the 4th International Workshop on Principles of Software Evolution, pp. 162–165. ACM, New York (2001)
Ortin, F., Cueva, J.M.: Non-restrictive computational reflection. Computer Standards & Interfaces 25, 241–251 (2003)
Ortin, F., Lopez, B., Perez-Schofield, J.B.G.: Separating adaptable persistence attributes through computational reflection. IEEE Software 21, 41–49 (2004)
Pokol, B.: The Theory of Professional Institution Systems. Felsooktatasi Koordinacios Iroda, Budapest (1992)
Popovici, A., Alonso, G., Gross, T.: Spontaneous container services. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 29–53. Springer, Heidelberg (2003)
Raghavan, A., et al.: Genome-wide analysis of mRNA decay in resting and activated primary human T lymphocytes. Nucleic Acids Research 30, 5529–5538 (2002)
Rising, L.: The Patterns Handbook. Cambrdige University Press, Cambridge (1998)
Rosenblat, F.: Principles of Neurodynamics: Perceptrons and the Theory of Brain mechanisms. Washington D.C., Spartan (1962)
Simon, H.A.: Administrative Behaviour. The Free Press, New York (1976)
Stunkel, C.B., Sivaram, R., Panda, D.K.: Implementing multidestination worms in switch-based parallel systems: architectural alternatives and their impact. ACM SIGARCH Computer Architecture News 25, 50–61 (1997)
Sun, Y.-Q., Lu, R.-Z., Bi, H.: Program synthesis based on Boyer-Moore theorem proving techniques. In: Proceedings of the ACM 13th Annual Conference on Computer Science, pp. 348–355. ACM, New York (1985)
Tanter, E., Noye, J., Caromel, D., Cointe, P.: Partial behavioral reflection: spatial and temporal selection of reification. ACM SIGPLAN Notices 38, 27–46 (2003)
Uhrmacher, A.M., Rohl, M., Kullick, B.: The role of reflection in simulating and testing agents: An exploration based on the simulation system James. Applied Artificial Intelligence 16, 795–811 (2002)
Ungar, D., Smith, R.B.: SELF: The power of simplicity. LISP and Symbolic Computation 4, 187–205 (1991)
Valetto, G., Kaiser, G.: A case study in software adaptation. In: Proceedings of WOSS 2002, pp. 73–78. ACM, New York (2002)
Van Moorsel, A., Wolter, K.: Analysis and Algorithms for Restart. In: Proceedings of the Quantitative Evaluation of Systems, QEST 2004, pp. 195–204. IEEE Computer Society Press, Los Alamitos (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andras, P., Charlton, B.G. (2005). Self-Aware Software – Will It Become a Reality?. In: Babaoglu, O., et al. Self-star Properties in Complex Information Systems. SELF-STAR 2004. Lecture Notes in Computer Science, vol 3460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11428589_16
Download citation
DOI: https://doi.org/10.1007/11428589_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26009-7
Online ISBN: 978-3-540-32013-5
eBook Packages: Computer ScienceComputer Science (R0)