Abstract
The problem is that the terms in which these systems are currently understood and described does not provide a basis for development of more flexible automation and operator support. A better perspective is offered by novel modelling paradigms, commonly named Functional Modelling, of which Multilevel Flow Modelling, the Abstraction Hierarchy or the Goal Tree, Succes Tree are examples. Application of these techniques produces descriptions that can be used to reason about goal achievement of the system~\cite{paassen:97f}.
In the presentation an Abstraction Hierarchy for a simple system is presented. Reasoning on the basis of the AH, and the use of the AH for interface design \cite{vicente:90} is discussed.