Lessons learned from wrapping systems

This paper describes lessons we have learned over the last ten years from our "wrapping" approach to large-scale system development. Our research program in integration for constructed complex systems has led to several results with system engineering applications: the wrapping expression notation wrex for communication among distributed entities, the problem posing interpretation that inserts knowledge-based polymorphism into any programming language, and a new systematization of design patterns. We show how we implement wrappings and describe example applications. A little bit of this theory goes a long way, since it was designed for extremely large systems, such as space systems, with their hundreds of organizations, thousands of components, and millions of lines of code.

[1]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

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

[3]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[4]  Christopher Landauer,et al.  A note on improving the capabilities of software agents , 1997, AGENTS '97.

[5]  Christopher Landauer,et al.  Integration Systems and Interaction Spaces , 1996, FroCoS.

[6]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[7]  Randy M. Kaplan.  Constructing Language Processors for Little Languages , 1994 .

[8]  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.

[9]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[10]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[11]  William J. Rapaport,et al.  Varieties of Self-Reference. , 1988 .

[12]  Robert M. MacGregor,et al.  Using a description classifier to enhance knowledge representation , 1991, IEEE Expert.

[13]  K.L. Bellman,et al.  Wrappings for software development , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[14]  Kirstie L. Bellman,et al.  The modeling issues inherent in testing and evaluating knowledge-based systems , 1990 .

[15]  Philippe Lalanda,et al.  A Domain-Specific Software Architecture for Adaptive Intelligent Systems , 1995, IEEE Trans. Software Eng..

[16]  Kirstie L. Bellman.  An approach to integrating and creating flexible software environments supporting the design of complex systems , 1991, 1991 Winter Simulation Conference Proceedings..

[17]  Christopher Landauer,et al.  Computational Embodiment: Constructing Autonomous Software Systems , 1999, Cybern. Syst..

[18]  Christopher Landauer,et al.  Wrapping Mathematical Tools , 1992 .

[19]  K. L. Bellman.  Sharing work, experience, interpretation, and maybe even meanings between natural and artificial agents , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[20]  C. Landauer.  Correctness principles for rule-based expert systems☆ , 1990 .

[21]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

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

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

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

[25]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[26]  Christopher Landauer,et al.  Problem posing interpretation of programming languages , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[27]  Robert Mac Gregor,et al.  THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS , 1991 .

[28]  Christopher Landauer,et al.  Active integration frameworks , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[29]  Donald O. Walter,et al.  Some issues in model integration , 1990 .

[30]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[31]  Christopher Landauer,et al.  Designing testable, heterogeneous software environments , 1995, J. Syst. Softw..

[32]  James O. Coplien,et al.  Pattern languages of program design , 1995 .

[33]  Christopher Landauer,et al.  Symbol systems in constructed complex systems , 1999, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014).