This thesis attempts to answer the question "Can we devise a language for interpretation of behavioural simulation of engineered systems (of arbitrary complexity) in terms of the systems’ purpose?" It does so by presenting ...