Reasoning about Complexity - Software Models as External Representations

Simon Lynch; Joseph Ferguson

Programming is traditionally considered to be an activity which aims only to produce a software artefact as its primary goal. With this view programming languages are simply the notations which define these artefacts. This paper examines the relationships between internal representations (mental models) and external representations (notations and other forms) arguing that program code behaves as an external representation in a similar way to mathematical or logical notations but with the added property that code can be executed and its notational consequences observed.

Furthermore some environments allow program operation to be manipulated at run-time; we propose that these systems also operate as external representations and that programming language statements and their run-time environments can thereby be utilised as reasoning systems to promote the exploration and discovery of new understandings. In this context we consider NetLogo as a framework for reasoning about complex and emergent systems, evaluating its suitability from a representational perspective. 

Type of Publication: Paper
Conference: PPIG 2014 - 25th Annual Workshop
Publication Year: 2014
Paper #: 3
TitleReasoning about Complexity - Software Models as External Representations
Publication TypePaper
AuthorsLynch, S, Ferguson, J
PPIG Workshop: 
2014-06-25th