Self managed adaptability with wrappings

In this paper, we offer an approach to software evolvability based on our wrapping infrastructure for integration in constructed complex systems. We believe that the self-modeling systems that we have built using wrappings may be able to manage their own evolution to some extent. In a wrapping-based system, the design decisions are visible in the resource definitions, with the associated context assumptions, so it is much easier to change them. We expect such a system to build and examine models of its environment, and its behavior in the environment, to check them against the specifications that define the assumptions about the use of the system, so it can call for help when they are violated. We also think we can build the system to make the changes itself in some cases. In particular, there is a class of system change causes that are known to the original system designers (usually based on uncertainties about the environment or the current state of hardware components), and the system can be built with enough information to react to those changes accordingly.

[1]  Robert Laddaga,et al.  Self-Adaptive Software: Applications , 2003, Lecture Notes in Computer Science.

[2]  Christopher Landauer,et al.  Self-modeling Systems , 2001, IWSAS.

[3]  Christopher Landauer,et al.  Challenges for conceptual design environments: the VEHICLES experience , 1993 .

[4]  A. R. D. Mathias,et al.  NON‐WELL‐FOUNDED SETS (CSLI Lecture Notes 14) , 1991 .

[5]  K. Bellman,et al.  Common origin of linguistic and movement abilities. , 1984, The American journal of physiology.

[6]  Lawrence S. Moss,et al.  Vicious circles - on the mathematics of non-wellfounded phenomena , 1996, CSLI lecture notes series.

[7]  Thomas Bäck,et al.  Evolutionary Algorithms in Theory and Practice , 1996 .

[8]  L. Blumenfeld,et al.  Tunnelling of electrons in biological processes. , 1973, Journal of theoretical biology.

[9]  David B. Fogel,et al.  Evolutionary algorithms in theory and practice , 1997, Complex.

[10]  Pradeep K. Khosla,et al.  Port-Based Adaptable Agent Architecture , 2000, IWSAS.

[11]  Mary Shaw,et al.  Tyrannical Languages Still Preempt System Design , 1992 .

[12]  Christopher Landauer,et al.  Generic programming, partial evaluation, and a new programming paradigm , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[13]  D O Walter,et al.  Biological processing. , 1984, The American journal of physiology.

[14]  G. Kampis Self-modifying systems in biology and cognitive science , 1991 .

[15]  C. Landauer,et al.  Towards an Integration Science The Influence of Richard Bellman on Our Research , 2000 .

[16]  Mary Shaw,et al.  Toward relaxing assumptions in languages and their implementations , 1980, SIGP.

[17]  Richard Bellman,et al.  On the Concepts of a Problem and Problem-Solving , 1960 .

[18]  L. Sterling Intelligent Systems , 1993, Springer US.

[19]  Grigore Rosu,et al.  Circular coinductive rewriting , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[20]  Pattie Maes,et al.  Designing autonomous agents: Theory and practice from biology to engineering and back , 1990, Robotics Auton. Syst..

[21]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.