Skip to main content
SpringerLink
Log in

Meta-analysis and Reflection as System Development Strategies

  • Conference paper
Metainformatics (MIS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3002))

Included in the following conference series:

Abstract

This paper is about strategies for developing new approaches to solving difficult problems in complex computing system design, based on a very strong use of abstraction and reflection. We address problems in the design and development of Constructed Complex Systems, which are large, heterogeneous, usually distributed, systems managed or mediated by computing systems. We call this strategy “meta-analysis”, since it is as much about the processes of modeling and defining elements of these systems as it is about new kinds of elements themselves.

For some years, we have had interesting successes in defining new approaches to these problems, and we have recently noticed that there is some commonality in the approaches.

We define what meta-analysis is, show some examples from our earlier research, and explain why it is a meta-informatic approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aczel, P.: Inductive Definitions. In: Barwise, J. (ed.) Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, vol. 90, ch. C.7, pp. 739–782. North-Holland, Amsterdam (1977)

    Google Scholar 

  2. Aczel, P.: Non-well-founded Sets, CSLI Lecture Notes Number 14, Center for the Study of Language and Information, Stanford U., U. Chicago Press (1988)

    Google Scholar 

  3. Albus, J.S., Meystel, A.M.: Engineering of Mind: An Introduction to the Science of Intelligent Systems. Wiley, Chichester (2001)

    Google Scholar 

  4. Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence Journal 111, 171–208 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  5. Barwise, J., Moss, L.: Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, CSLI Lecture Notes Number 60, Center for the Study of Language and Information, Stanford U (1996)

    Google Scholar 

  6. Bellman, K.L., Landauer, C.: Integration Science is More Than Putting Pieces Together. In: Proceedings of the 2000 IEEE Aerospace Conference (CD), Big Sky, Montana, March 18-25 (2000)

    Google Scholar 

  7. Bellman, K.L., Landauer, C.: Towards an Integration Science: The Influence of Richard Bellman on our Research. Journal of Mathematical Analysis and Applications 249(1), 3–31 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Bellman, R., Brock, P.: On the concepts of a problem and problem-solving. American Mathematical Monthly 67, 119–134 (1960)

    Article  MATH  MathSciNet  Google Scholar 

  9. Brachman, R.J.: What’s in a Concept: Structural Foundations for Semantic Networks. International Journal for Man-Machine Studies 9, 127–152 (1977)

    Article  Google Scholar 

  10. Bradshaw, J.M. (ed.): Software Agents. AAAI Press, Menlo Park (1997)

    Google Scholar 

  11. Bruce, T.A.: Designing Quality Databases with IDEF1X Information Models, Dorset House (1992)

    Google Scholar 

  12. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)

    MATH  Google Scholar 

  13. Ekdahl, B., Astor, E., Davidsson, P.: Towards Anticipatory Agents. In: Steffens, P. (ed.) EAMT-WS 1993. LNCS, vol. 898, pp. 191–202. Springer, Heidelberg (1995), also on the Web at http://citeseer.nj.nec.com/ekdahl95towards.html (availability last checked February 07, 2004)

    Google Scholar 

  14. Embley, D.W., Kurtz, B.D., Woodfield, S.N.: Object-Oriented Systems Analysis. Yourdon Press (1992)

    Google Scholar 

  15. Anders Ericsson, K., Hastie, R.: Contemporary Approaches to the Study of Thinking and Problem Solving. In: Sternberg, R.J. (ed.) Thinking and Problem Solving, ch. 2, pp. 37–79. Academic Press, London (1994)

    Google Scholar 

  16. Eriksson, H.-E., Penker, M.: UML Toolkit. Wiley, Chichester (1998)

    Google Scholar 

  17. Ferber, J.: Multi-Agent Systems, Addison Wesley Longman (1999); translation of Jacques Ferber, Les Systèmes Multi-Agents: Vers une intelligence collective, InterEditions, Paris (1995)

    Google Scholar 

  18. Forbus, K.D., de Kleer, J.: Building Problem Solvers, A Bradford Book. MIT Press, Cambridge (1993)

    Google Scholar 

  19. Goguen, J., Lin, K., Roşu, G.: Circular Coinductive Rewriting. In: Proceedings of ASE 2000: The 15th International Conference on Automated Software Engineering, Grenoble, France, September 11-15, pp. 123–131. IEEE Press, Los Alamitos (2000)

    Chapter  Google Scholar 

  20. Goguen, J.A., Malcolm, G.: Algebraic Semantics of Imperative Programs. MIT Press, Cambridge (1996)

    MATH  Google Scholar 

  21. Heylighen, F.: Advantages and Limitations of Formal Expression, on the Web at http://citeseer.nj.nec.com/heylighen99advantages.html (availability last checked February 07, 2004)

  22. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  23. Jacobs, B., Rutten, J.: A Tutorial on (Co) Algebras and (Co)Induction. EATCS Bulletin 62, 222–259 (1997)

    MATH  Google Scholar 

  24. Kennedy, C.M.: A Conceptual Foundation for Autonomous Learning in Unforeseen Situations, Tech. Rpt. WV-98-01, Dresden Univ. Technology (1998), also on the Web at http://citeseer.nj.nec.com/kennedy98conceptual.html (availability last checked February 07, 2004)

  25. Kennedy, C.M.: Distributed Reflective Architectures for Adjustable Autonomy. In: Kortenkamp, D., Dorais, G., Myers, K.L. (eds.) Proceedings of IJCAI 1999 Workshop on Adjustable Autonomy Systems, Stockholm, Sweden, August 1 (1999); a similar note is on the web at http://citeseer.nj.nec.com/kennedy99distributed.html (availability last checked February 07, 2004)

  26. Kiczales, G., des Rivières, J., Bobrow, D.: The Art of the Meta-Object Protocol. MIT Press, Cambridge (1991)

    Google Scholar 

  27. Kilov, H., Ross, J.: Information Modeling. Prentice-Hall, Englewood Cliffs (1994)

    Google Scholar 

  28. Kreitz, C.: Formal Mathematics for Verifiably Correct Program Synthesis. J. Interest Group Pure and Applied Logic 4(1) (1996), on the Web at http://www.dcs.kcl.ac.uk/journals/igpl/IGPL/V4-1/ (availability last checked February 07, 2004)

  29. Landauer, C.: Data, Information, Knowledge, Understanding: Computing Up the Meaning Hierarchy. In: Proceedings of SMC 1998: The 1998 IEEE International Conference on Systems, Man, and Cybernetics, San Diego, California, October 11-14, pp. 2255–2260 (1998)

    Google Scholar 

  30. Landauer, C., Bellman, K.L.: Mathematics and Linguistics. In: Meystel, A., Albus, J., Quintero, R. (eds.) Intelligent Systems: A Semiotic Perspective, Proceedings of the 1996 International Multidisciplinary Conference, NIST, Gaithersburg, Maryland, Theoretical Semiotics, Workshop on New Mathematical Foundations for Computer Science, October 20-23, vol. I, pp. 153–158 (1996)

    Google Scholar 

  31. Landauer, C., Bellman, K.L.: Model-Based Simulation Design with Wrappings. In: Proceedings of OOS 1997: The 1997 Object Oriented Simulation Conference, WMC 1997: The 1997 SCS Western Multi Conference, Phoenix, SCS International, January 12-15, pp. 169–174 (1997)

    Google Scholar 

  32. Landauer, C., Bellman, K.L.: Situation Assessment via Computational Semiotics. In: Proceedings ISAS 1998: the 1998 International MultiDisciplinary Conference on Intelligent Systems and Semiotics, NIST, Gaithersburg, Maryland, September 14-17, pp. 712–717 (1998)

    Google Scholar 

  33. Landauer, C., Bellman, K.L.: Generic Programming, Partial Evaluation, and a New Programming Paradigm. In: Paper etspi02 in 32nd Hawaii Conference on System Sciences, Track III: Emerging Technologies, Software Process Improvement Mini-Track, Maui, Hawaii, January 5-8 (1999); revised and extended version in Landauer, C., Bellman, K.L.: Generic Programming, Partial Evaluation, and a New Programming Paradigm. In: McGuire G. (ed.), ch. 8, pp. 108-154 , Software Process Improvement, Idea Group Publishing, USA (1999)

    Google Scholar 

  34. Landauer, C., Bellman, K.L.: Problem Posing Interpretation of Programming Languages. In: Paper etecc07 in Proceedings of HICSS 1999: The 32nd Hawaii Conference on System Sciences, Track III: Emerging Technologies, Engineering Complex Computing Systems Mini-Track, Maui, Hawaii, January 5-8 (1999)

    Google Scholar 

  35. Landauer, C., Bellman, K.L.: New Architectures for Constructed Complex Systems. In: The 7th Bellman Continuum, International Workshop on Computation, Optimization and Control, Santa Fe, NM, May 24-25 (1999); Applied Mathematics and Computation, vol. 120, pp. 149–163 (May 2001) (to appear)

    Google Scholar 

  36. Landauer, C., Bellman, K.L.: Symbol Systems in Constructed Complex Systems. In: Proceedings of ISIC/ISAS 1999: The 1999 IEEE International Symposium on Intelligent Control, Cambridge, Massachusetts, September 1999, pp. 15–17 (1999)

    Google Scholar 

  37. Landauer, C., Bellman, K.L.: Relationships and Actions in Conceptual Categories. In: Stumme, G. (ed.) Working with Conceptual Structures - Contributions to ICCS 2000, Auxiliary Proc. ICCS 2000: The 8th Intern. Conf. on Conceptual Structures, Darmstadt, Shaker Verlag, Aachen, August 14-18, pp. 59–72 (2000)

    Google Scholar 

  38. Landauer, C., Bellman, K.L.: Reflective Infrastructure for Autonomous Systems. In: Proc. EMCSR 2000: The 15th European Meeting on Cybernetics and Systems Research, Symposium on Autonomy Control: Lessons from the Emotional, Vienna, April 25-28, vol. 2, pp. 671–676 ( April 2000)

    Google Scholar 

  39. Landauer, C., Bellman, K.L.: Some Measurable Characteristics of Intelligence. In: Paper WP 1.7.5, Proceedings of SMC 2000: The 2000 IEEE International Conference on Systems, Man, and Cybernetics (CD), Nashville Tennessee, October 8-11 (2000)

    Google Scholar 

  40. Landauer, C., Bellman, K.L.: Conceptual Modeling Systems: Active Knowledge Processes in Conceptual Categories. In: Mineau, G.W. (ed.) Conceptual Structures: Extracting and Representing Semantics, Contributions to ICCS 2001: The 9th Intern. Conf. on Conceptual Structures, Stanford University, July 30, August 2003, pp. 131–144 (August 2001)

    Google Scholar 

  41. Landauer, C., Bellman, K.L.: Wrappings for One-of-a-Kind System Development. In: Paper STSSV04 in Proceedings of HICSS 2002: The 35th Hawaii International Conference on System Sciences (CD), Track IX: Software Technology, Advances in Software Specification and Verification Mini-Track, Waikoloa, Hawaii (Big Island), January 7-10 (2002)

    Google Scholar 

  42. Landauer, C., Bellman, K.L.: Self-Modeling Systems. In: Laddaga, R., Shrobe, H.E., Robertson, P. (eds.) IWSAS 2001. LNCS, vol. 2614, pp. 238–256. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  43. Landauer, C., Bellman, K.L.: Refactored Characteristics of Intelligent Computing Systems. In: Proceedings of PERMIS 2002: Measuring of Performance and Intelligence of Intelligent Systems, NIST, Gaithersburg, Maryland, August 13-15 (2002)

    Google Scholar 

  44. William Lawvere, F., Schanuel, S.H.: Conceptual Mathematics: A first introduction to categories, Cambridge (1997, reprinted with corrections 2000)

    Google Scholar 

  45. Lèdeczi, Á., Bakay, Á., Maróti, M.: Model-Integrated Embedded Systems. In: [56], pp. 99–115

    Google Scholar 

  46. Lèdeczi, Á., Bakay, Á., Maróti, M., Völgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments. IEEE Computer 34(11), 44–51 (2001)

    Google Scholar 

  47. Löfgren, L.: Phenomena of Autonomy with Explanations in Introspective Language, on the Web at http://citeseer.nj.nec.com/176143.html (availability last checked February 07, 2004)

  48. MacLane, S., Birkhoff, G.: Algebra. Macmillan, Basingstoke (1967)

    MATH  Google Scholar 

  49. Maes, P.: Concepts and Experiments in Computational Reflection. In: Proceedings OOPSLA 1987, pp. 147–155 (1987)

    Google Scholar 

  50. Maes, P., Nardi, D. (eds.) Meta-Level Architectures and Reflection. In: Proceedings of the Workshop on Meta-Level Architectures and Reflection, October 27-30, North-Holland, Amsterdam (1986)

    Google Scholar 

  51. Meystel, A.M., Albus, J.S.: Intelligent Systems: Architecture, Design, and Control. Wiley, Chichester (2002)

    Google Scholar 

  52. Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)

    Google Scholar 

  53. Milner, R.: communicating and mobile systems: the π-calculus, Cambridge (1999)

    Google Scholar 

  54. Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.): Coordination of Internet Agents: Models, Technologies, and Applications. Springer, Heidelberg (1998)

    Google Scholar 

  55. Plotkin, G., Stirling, C., Tofte, M. (eds.): Proof, Language, and Interaction: Essays in Honor of Robin Milner. MIT Press, Cambridge (2000)

    Google Scholar 

  56. Robertson, P., Shrobe, H., Laddaga, R. (eds.): IWSAS 2000. LNCS, vol. 1936, p. 1. Springer, Heidelberg (2001)

    Book  Google Scholar 

  57. Russell, B.: The Scientific Outlook, George Allen and Unwin, London, W. W. Norton, New York (1931)

    Google Scholar 

  58. Shaw, M., Wulf, W.A.: Tyrannical Languages still Preempt System Design. In: Proceedings of ICCL 1992: The 1992 International Conference on Computer Languages, Oakland, California, April 20-23, pp. 200–211 (1992); includes and comments on Shaw, M., Wulf, W.A.: Toward Relaxing Assumptions in Languages and their Implementations. ACM SIGPLAN Notices, vol. 15(3), pp. 45–51 (March 1980)

    Google Scholar 

  59. Sowa, J.F.: Principles of Semantic Networks: Exploration in the Representation of Knowledge. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  60. Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole (2000)

    Google Scholar 

  61. Steele Jr., G.L., Sussman, G.J.: The Art of the Interpreter, or, the Modularity Complex (Parts Zero, One, and Two), AI Memo, vol. 453. MIT, Cambridge (1978)

    Google Scholar 

  62. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)

    Google Scholar 

  63. Walters, R.F.C.: Categories and Computer Science. Cambridge Computer Science Texts, Cambridge (1991)

    MATH  Google Scholar 

  64. Woods, W.A.: What’s in a Link: The Semantics of Semantic Networks. In: Bobrow, D.G., Collins, A.M. (eds.) Representation and Understanding, pp. 35–79. Academic Press, London (1975)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Aerospace Corporation, Mail Stop M6/214, Aerospace Integration Science Center, P.O. Box 92957, Los Angeles, California, 90009-2957, USA

    Christopher Landauer & Kirstie L. Bellman

Authors
  1. Christopher Landauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kirstie L. Bellman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Aalborg University, DK-6700, Esbjerg, Denmark

    David L. Hicks

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Landauer, C., Bellman, K.L. (2004). Meta-analysis and Reflection as System Development Strategies. In: Hicks, D.L. (eds) Metainformatics. MIS 2003. Lecture Notes in Computer Science, vol 3002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24647-3_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24647-3_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22010-7

  • Online ISBN: 978-3-540-24647-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation