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

Abstract

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
Pages8-15
Publication statusPublished - 2013
Event11th Overture Workshop - Aarhus University, Aarhus, Denmark
Duration: 28 Aug 201329 Aug 2013
http://wiki.overturetool.org/index.php/11th_Overture_Workshop

Workshop

Workshop11th Overture Workshop
LocationAarhus University
CountryDenmark
CityAarhus
Period28/08/201329/08/2013
Internet address

Keywords

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

Cite this

Battle, N., Haxthausen, A. E., Hiroshi, S., Jørgensen, P., Plat, N., Sahara, S., & Verhoef, M. (2013). The Overture Approach to VDM Language Evolution. In K. Pierce, & S. Hallerstede (Eds.), Proceedings of the 11th Overture Workshop (pp. 8-15)