The Overture Approach to VDM Language Evolution

Nick Battle, Anne Elisabeth Haxthausen, Sako Hiroshi, Peter Jørgensen, Nico Plat, Shin Sahara, Marcel Verhoef

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


The Overture Language Board (LB) has a strategic role in the development of the VDM-10 Languages, VDM-SL, VDM++ and VDM-RT, and deals in particular with Requests for Modifications (RMs) to the language. Such requests come usually from participants in the Overture project. This paper describes how the LB uses a well-defined process with several phases to deal with the RMs, from when they are requested until they are either rejected or accepted and implemented. The paper also gives an overview of language changes that have been accepted and implemented in the period April 2009 – June 2013.
Original languageEnglish
Title of host publicationProceedings of the 11th Overture Workshop
EditorsKen Pierce, Stefan Hallerstede
Publication date2013
Publication statusPublished - 2013
Event11th Overture Workshop - Aarhus University, Aarhus, Denmark
Duration: 28 Aug 201329 Aug 2013


Workshop11th Overture Workshop
LocationAarhus University
Internet address


  • VDM
  • Formal specification languages
  • Language design
  • Language modification process
  • The Overture Language Board


Dive into the research topics of 'The Overture Approach to VDM Language Evolution'. Together they form a unique fingerprint.

Cite this