The Open UniversitySkip to content

Shifts in reasoning about software and hardware systems: do operational models underpin declarative ones?

Petre, Marian (1991). Shifts in reasoning about software and hardware systems: do operational models underpin declarative ones? In: Psychology of Programming Interest Group, 3-5 Jan 1991, Hatfield.

Full text available as:
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (346kB) | Preview
Google Scholar: Look up in Google Scholar


Having studied expert programmers and hardware designers, I have long had difficulty with the notion that people program “solely declaratively”, or even that they reason solely declaratively about systems, and I have been unable to find any expert who does. Expertise and operational models seem at least to be wholly coincident. People who begin with a “purely declarative” model of things soon find or develop for themselves an operational one, correct or not. I suggest that operational knowledge underpins our ability to reason declaratively—that a reasonably comprehensive operational model of the underlying ‘machine’, extending one or several layers deeper than the current focus, is necessary to our ability to design systems competently. The crux is time; what distinguishes functional from operational views is, primarily, time (also seen as process, change, behaviour). In a formal system, like a computing environment, there is a notionally perfect notational world sitting on top of a real world, and the mapping between them is not always perfect or ideal. The real world is imperfect, imposing physical and temporal constraints that matter to solution. Hence, we need to “escape from formalism”; we need knowledge of what lies underneath. The operational model is a way of coping with reality. The talk will address this question of how fundamental and how extensive is our need to know “how it works”; examples will be drawn from studies of programmers and of digital electronics engineers.

Item Type: Conference or Workshop Item
Copyright Holders: 1991 Marian Petre
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 38394
Depositing User: Marian Petre
Date Deposited: 01 Oct 2013 10:16
Last Modified: 07 Dec 2018 16:54
Share this page:

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU