A Non-unified View of Modelling, Specification and Programming

The languages used to express specifications, models and programs have much in common. However, in this paper we argue that because they serve different purposes, real care should be taken to distinguish them during development. Rather than seeking unification at the language level, we would recommend exploiting intersections between them where they arise. The main contribution of this paper is to point out the necessary differences and to offer evidence of situations in which common ground can be reached.