Modeling from A to Z/Modeling principles/V is for Vienna Development Method

VDM abbreviates the Vienna Development Method. The specification language was known as Meta-IV.

From the very beginning (around 1978) the intention was to use a language for modelling:

"We stress here... that the meta-language is to be used, not for solving algorithmic problems (on a computer), but for specifying, in an implementation-independent way, the architecture (or models) of software. Instead of using informal English mixed with technical jargon, we offer you a very-high-level 'programming' language. We do not offer an interpreter or compiler for this meta-language. And we have absolutely no intention of ever wasting our time trying to mechanize this meta-language. We wish, as we have done in the past, and as we intend to continue doing in the future, to further develop the notation and to express notions in ways for which no mechanical interpreter system can ever be provided."

Different schools — different philosophiesEdit

There are three basic schools of the VDM (listed in order of historical emergence):

  1. Danish school
  2. English school
  3. Irish school

We will take a brief look at each in turn.

Danish SchoolEdit

English SchoolEdit

Irish SchoolEdit

Last modified on 25 September 2008, at 16:10