Modelling with Experience: Construal and Construction for Software

  • Meurig Beynon
Chapter
Part of the Automation, Collaboration, & E-Services book series (ACES, volume 1)

Abstract

Software development presents exceptionally demanding conceptual challenges for model-building. It has such diverse phases, may touch so many disciplines, may address personal and public applications, can involve collaboration of experts from many fields, user participation, and an essential need for ongoing revision. Software modellers must see and think like designers, logicians, engineers, programmers, business analysts, artists, sociologists. This chapter reviews thinking about software development with particular reference to: the limitations of adopting the formal representations that classical computer science commends; different approaches to rationalising the use of models in software development; and the problems of conceptualising software development as theory-building. It concludes by sketching an embryonic approach to software development based on ‘Empirical Modelling (EM)’ that draws on William James’s pluralist philosophy of ’radical empiricism’, the historian of science David Gooding’s account of the role of ’construals’ in experimental science, and the sociologist Bruno Latour’s vexing notion of ’construction’. The products of EM development are interactive artefacts whose potential meanings are mediated by the patterns of observables, dependencies and agencies that they embody, as elicited by the actions of the participants in the model-building.

Keywords

Software Development Software Engineering Formal Representation Theoretical Computer Science Public Entity 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Achinstein, P.: Concepts of Science: A Philosophical Analysis. The Johns Hopkins Press, Baltimore (1968)Google Scholar
  2. Ackoff, R.L.: Scientific Method: Optimising Applied Research Decisions. Wiley, New York (1962)Google Scholar
  3. Addis, T.R.: Knowledge Science: a Pragmatic Approach to Research in Expert Systems. In: Proceedings of the British Computer Society Specialist Group on Expert Systems: Expert Systems 1993, December 13-15, 1993, pp. 321–339. St. John’s College, Cambridge (1993)Google Scholar
  4. Addis, T.R., Gooding, D.C.: Simulation Methods for an Abductive System in Science. Foundations of Science 13(1), 37–52 (2008)CrossRefGoogle Scholar
  5. Addis, T.R., Gooding, D.C., Townsend, J.J.: Modelling Faraday’s Discovery of the Electric Motor: An investigation of the application of a functional database language. In: Proceedings of the Fifth European Knowledge Acquisition for Knowledge-Based Systems Workshop, Crieff Hydro, Scotland, May 20-24 (1991)Google Scholar
  6. Bentley, P.J., Corne, D.W. (eds.): Creative Evolutionary Design Systems. Morgan Kaufmann, San Francisco (2001)Google Scholar
  7. Beynon, W.M.: Empirical Modelling and the Foundations of Artificial Intelligence. In: Nehaniv, C.L. (ed.) CMAA 1998. LNCS (LNAI), vol. 1562, pp. 322–364. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  8. Beynon, W.M.: Radical Empiricism, Empirical Modelling and the Nature of Knowing. Cognitive Technologies and the Pragmatics of Cognition: Special Issue of Pragmatics and Cognition 13(3), 615–646 (2005)Google Scholar
  9. Beynon, M., Harfield, A.: Lifelong Learning, Empirical Modelling and the Promises of Constructivism. Journal of Computers 2(3), 43–55 (2007)CrossRefGoogle Scholar
  10. Beynon, W.M., Joy, M.S.: Computer Programming for Noughts-and-Crosses: New Frontiers. In: Proceedings of the Psychology of Programming Interest Group Conference, pp. 27–37. Open University (January 1994)Google Scholar
  11. Beynon, M., Russ, S.: Experimenting with Computing. Journal of Applied Logic 6(4), 476–489 (2008)CrossRefGoogle Scholar
  12. Beynon, W.M., Sun, P.-H.: Empirical Modelling: a New Approach to Understanding Requirements. In: Proceedings of the Eleventh International Conference on Software Engineering and its Applications, Paris, vol. 3 (December 1998)Google Scholar
  13. Beynon, W.M., Rungrattanaubol, J., Sinclair, J.: Formal Specification from an Observation-Oriented Perspective. Journal of Universal Computer Science 6(4), 407–421 (2000)MathSciNetMATHGoogle Scholar
  14. Beynon, W.M., Ward, A., Maad, S., Wong, A., Rasmequan, S., Russ, S.: The Temposcope: a Computer Instrument for the Idealist Timetabler. In: Proceedings of the Third International Conference on the Practice and Theory of Automated Timetabling, Konstanz, Germany, August 16-18, pp. 153–175 (2000)Google Scholar
  15. Beynon, W.M., Roe, C., Ward, A., Wong, A.: Interactive Situation Models for Cognitive Aspects of User-Artefact Interaction. In: Beynon, M., Nehaniv, C.L., Dautenhahn, K. (eds.) CT 2001. LNCS (LNAI), vol. 2117, pp. 356–372. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. Beynon, W.M., Boyatt, R.C., Russ, S.B.: Rethinking Programming. In: Proceedings IEEE Third International Conference on Information Technology: New Generations, Las Vegas, April 10-12, pp. 149–154 (2006)Google Scholar
  17. Beynon, W.M., Russ, S.B., McCarty, W.: Human Computing: Modelling with Meaning. Literary and Linguistic Computing 21(2), 141–157 (2006)CrossRefGoogle Scholar
  18. Beynon, M., Boyatt, R., Chan, Z.E.: Intuition in Software Development Revisited. In: Proceedings of Twentieth Annual Psychology of Programming Interest Group Conference. Lancaster University, UK (2008)Google Scholar
  19. Black, M.: Models and Archetypes. In: Black, M. (ed.) Models and Metaphors, pp. 219–243. Cornell University Press, Ithaca (1962)Google Scholar
  20. Braithwaite, R.B.: Scientific Explanation. Cambridge University Press, Cambridge (1953)MATHGoogle Scholar
  21. Boden, M.A.: The Creative Mind: Myths and Mechanisms. Routledge, London (2003)Google Scholar
  22. Brooks, R.A.: Intelligence without Representation. Artificial Intelligence 47(1/3), 139–159 (1991a)CrossRefGoogle Scholar
  23. Brooks, R.A.: Intelligence without Reason. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 569–595. Morgan Kaufmann, San Mateo (1991b)Google Scholar
  24. Cantor, G.N.: Reading the Book of Nature: The Relation Between Faraday’s Religion and His Science. In: Gooding, D., James, F.A.J.L. (eds.) Faraday Rediscovered. Essays on the Life and Work of Michael Faraday 1791-1867. Macmillan, London (1986)Google Scholar
  25. Cantwell-Smith, B.: Two Lessons of Logic. Computational Intelligence 3(1), 214–218 (1987)CrossRefGoogle Scholar
  26. Cantwell-Smith, B.: The Foundations of Computing. In: Scheutz, M. (ed.) Computationalism: New Directions, pp. 23–58. MIT Press, Cambridge (2002)Google Scholar
  27. Dewey, J.: Essays in Experimental Logic. University of Chicago, Chicago (1916)Google Scholar
  28. Duhem, P.: The Aim and Structure of Physical Theory. Atheneum, New York (1954)MATHGoogle Scholar
  29. Fetzer, J.H.: The Role of Models in Computer Science. The Monist 82(1), 20–36 (1999)Google Scholar
  30. Gooding, D.: Experiment and the Making of Meaning: Human Agency in Scientific Observation and Experiment. Kluwer, Dordrecht (1990)Google Scholar
  31. Gorman, M.E.: Discovery as Invention: Michael Faraday. In: Invention and Discovery: A Cognitive Quest (1997), http://cti.itc.virginia.edu/~meg3c/classes/tcc313_inuse/Resources/gorman.html (accessed June 13, 2011)
  32. Harel, D.: On Visual Formalisms. Communications of the Association for Computing Machinery 31(5), 514–530 (1988)MathSciNetCrossRefGoogle Scholar
  33. Harel, D., Marelly, T.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
  34. Humphreys, P.: Extending Ourselves: Computational Science, Empiricism, and Scientific Method. Oxford University Press, Oxford (2004)Google Scholar
  35. Jackson, M.A.: Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, New York (2000)Google Scholar
  36. Jackson, M.A.: Problem Frames and Software Engineering. Information and Software Technology 47(14), 903–912 (2005), http://mcs.open.ac.uk/mj665/PFrame10.pdf (accessed June 13, 2011)Google Scholar
  37. Jackson, M.A.: What can we expect from program verification? IEEE Computer 39(10), 53–59 (2006)CrossRefGoogle Scholar
  38. Jackson, M.: Automated software engineering: supporting understanding. Automated Software Engineering 15(3/4), 275–281 (2008)CrossRefGoogle Scholar
  39. James, W.: Essays in Radical Empiricism. Bison Books, London (1912/1916); (Reprinted from the original 1912 edition by Longmans, Green and Co., New York)Google Scholar
  40. Kaptelinin, V., Nardi, B.A.: Acting with Technology: Activity Theory and Interaction Design. The MIT Press, Cambridge (2006)Google Scholar
  41. Kargon, R.: Model and Analogy in Victorian Science: Maxwell’s Critique of the French Physicists. Journal of the History of Ideas 30(3), 423–436 (1969)CrossRefGoogle Scholar
  42. Keer, D., Russ, S., Beynon, M.: Computing for construal: an exploratory study of desert ant navigation. Procedia Computer Science 1(1), 2207–2216 (2010)CrossRefGoogle Scholar
  43. Kramer, J.: Is abstraction the key to computing? Communications of the Association for Computing Machinery 50(4), 37–42 (2007)CrossRefGoogle Scholar
  44. Lakoff, G., Johnson, M.: Metaphors We Live By. University of Chicago Press, Chicago (1980)Google Scholar
  45. Latour, B.: The Promises of Constructivism. In: Ihde, D., Selinger, E. (eds.) Chasing Technoscience: Matrix for Materiality, pp. 27–46. Indiana University Press, Bloomington (2003)Google Scholar
  46. Lewis, M.M.: Review of Speculative Instruments by I.A. Richards. British Journal of Educational Studies 4(2), 177–180 (1956)CrossRefGoogle Scholar
  47. Lloyd, E.A.: Models. In: Craig, E. (ed.) Routledge Encyclopedia of Philosophy. Routledge, London (2001)Google Scholar
  48. Loomes, M.J., Nehaniv, C.L.: Fact and Artifact: Reification and Drift in the History and Growth of Interactive Software Systems. In: Beynon, M., Nehaniv, C.L., Dautenhahn, K. (eds.) CT 2001. LNCS (LNAI), vol. 2117, pp. 25–39. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  49. Mahr, B.: Information science and the logic of models. Software and System Modeling 8(3), 365–383 (2009)CrossRefGoogle Scholar
  50. Maxwell, J.C.: The Scientific Papers of James Clerk Maxwell. In: Niven, W.D. (ed.), vol. 1. Cambridge University Press, Cambridge (1890)Google Scholar
  51. McCarty, W.: Humanities Computing. Palgrave Macmillan, Basingstoke (2005)CrossRefGoogle Scholar
  52. Muldoon, C.A.: Shall I Compare Thee To A Pressure Wave? Visualisation, Analogy, Insight and Communication in Physics. PhD thesis, Department of Psychology. University of Bath (May 2006)Google Scholar
  53. Nardi, B.A.: A Small Matter of Programming. The MIT Press, Cambridge (1993)Google Scholar
  54. Naur, P.: Intuition in Software Development. In: Proceedings of the International Conference on Theory and Practice of Software Development (TAPSOFT), vol. 2, pp. 60–79 (1985)Google Scholar
  55. Naur, P.: Knowing and the Mystique of Logic and Rules. Kluwer Academic Publishers, Dordrecht (1995)MATHGoogle Scholar
  56. Paterson, D.: Rhyme and Reason, T S Eliot Lecture 2004; published in abridged form in The Guardian Review, pp.34–35 (November 6, 2004),http://www.poetrylibrary.org.uk/news/poetryscene/?id=20 (accessed May 11, 2011)
  57. Pope, N., Beynon, M.: Empirical Modelling as an unconventional approach to software development. In: Proceedings of SPLASH 2010, Workshop on Flexible Modeling Tools, Reno/Tahoe, Nevada (October 2010)Google Scholar
  58. Richards, I.A.: Speculative Instruments. Routledge and Kegan Paul, London (1955)Google Scholar
  59. Roe, C., Beynon, M.: Dependency by definition in Imagine-d Logo: applications and implications. In: Kalaš, I. (ed.) Proceedings. of the Eleventh European Logo Conference, Bratislava, Slovakia, August 19-24 (2007)Google Scholar
  60. Turing, A.M.: Computing Machinery and Intelligence. Mind 59(236), 433–460 (1950)MathSciNetCrossRefGoogle Scholar
  61. Turski, W.M., Maibaum, T.S.E.: The Specification of Computer Programs. Addison-Wesley, New York (1987)Google Scholar
  62. Vendler, H.: I.A. Richards at Harvard Boston Review (April 1981), http://bostonreview.net/BR06.2/vendler.html (accessed June 13, 2011)
  63. Vincenti, W.C.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore (1993)Google Scholar
  64. Wartofsky, M.W.: Models: Representation and the Scientific Understanding. Kluwer Academic Publishers, Dordrecht (1979)Google Scholar
  65. Weinberg, S.: Is the Universe a Computer? New York Review of Books  49(16) (October 24, 2002), http://www.nybooks.com/articles/archives/2002/oct/24/is-the-universe-a-computer/ (accessed June 13, 2011)
  66. Winograd, T., Flores, F.: Understanding Computers and Cognition: A New Foundation for Design. Addison-Wesley, New York (1986)MATHGoogle Scholar
  67. Wolfram, S.: A New Kind of Science. Wolfram Media (2002)Google Scholar
  68. Wolfram, S.: The Poetry of Function Naming (2010), http://blog.stephenwolfram.com/2010/10/the-poetry-of-function-naming/(accessed June 13, 2011)

Copyright information

© Springer-Verlag GmbH Berlin Heidelberg 2012

Authors and Affiliations

  • Meurig Beynon
    • 1
  1. 1.University of WarwickCoventryUK

Personalised recommendations