Meta-IV (specifikationsspråk)

Meta -IV (uttalas som "metafor") var en tidig version av specifikationsspråket för Wien Development Methods formella metod för utveckling av datorbaserade system.

Historia

En av de första förekomsterna av Meta-IV i tryck verkar vara "Programmering på metaspråket: en handledning". Dines Bjørner använde den i början av sin handledning som en fotnot

Denna artikel ger en informell introduktion till "konsten" att abstrakt specificera programvaruarkitekturer med VDM -metaspråket * . En formell behandling av semantiken, såväl som en BNF-liknande betongsyntax, för en stor delmängd av metaspråket ges i [Jones 78a] efter denna artikel.

Anden i Meta-IV-specifikationsspråket fångas väl av följande avsnitt

Vi betonar här... att metaspråket ska användas, inte för att lösa algoritmiska problem (på en dator), utan för att specificera, på ett implementeringsoberoende sätt, arkitekturen (eller modellerna) av programvara. Istället för att använda informell engelska blandad med teknisk jargong, erbjuder vi dig ett "programmeringsspråk" på mycket hög nivå. Vi erbjuder ingen tolk eller kompilator för detta metaspråk. Och vi har absolut ingen avsikt att någonsin slösa bort vår tid på att försöka mekanisera detta metaspråk. Vi önskar, som vi har gjort tidigare, och som vi avser att fortsätta göra i framtiden, att vidareutveckla notationen och uttrycka föreställningar på ett sätt som inget mekaniskt tolksystem någonsin kan tillhandahållas.

VDM är en metod . Meta-IV var det specifikationsspråk som åtföljde metoden, och VDM-SL är den nuvarande standardiserade formen av det språket.

Eftersom VDM-SL har blivit standardiserat kan man använda Meta-IV för att beteckna de tre specifika skolor i VDM som existerade (och i viss utsträckning fortfarande gör) från 1970-talet och framåt:

En kort redogörelse för dessa olika skolor ges i texten "Mathematical Approaches to Software Quality".

En omfattande VDM-bibliografi finns också tillgänglig.

Skolorna för VDM

Den danska skolan


grundat av Dines Bjørner För att nämna:

Engelska skolan


grundad av Cliff Jones (datavetare) För att nämna:

  • University of Manchester
  • University of Newcastle

Den irländska skolan


grundat av Mícheál Mac an Airchinnigh För att nämna:

  • University of Dublin, Trinity College

Det första uppträdandet av namnet "Irish School of the VDM" förekommer i en doktorsavhandling: Mac an Airchinnigh, Mícheál. Konceptuella modeller och beräkningar. Ph.D. Avhandling. University of Dublin, Trinity College, Dublin, 1990, sid. 41:

Det finns en grundläggande universell överenskommelse om vad som utgör VDM. Men det finns i princip två stora skolor i VDM som till stor del kännetecknas av notationsskillnader som används i specifikationsspråket Meta-IV - den danska skolan och den engelska skolan."

och längre ner på samma sida

Det finns också den polska skolan, som kommer till uttryck genom MetaSoft-projektet (Blikle 1987, 1988, 1990). Jag kommer ofta att behöva skilja mellan notationsstilen och metoden som jag använder från de andra skolorna i VDM. Jag antar att jag använder frasen "the Irish School of the VDM" för att göra den distinktionen.

Examensarbetet finns tillgängligt online.

Andra betydande verk relaterade till skolan finns också online.

VDM Europe

De tre skolorna fördes in under en gemensam organisationsstruktur kallad VDM Europe som höll den första internationella konferensen i Bryssel, Belgien, 23–26 mars 1987. Vid den tiden gavs finansiering under Europeiska unionens Esprit-program. Mötena hölls mestadels i EU-kommissionens byggnader i Bryssel, Belgien.

VDM Europe upplöstes så småningom till förmån för Formal Methods Europe , grundat 1992. Protokoll från det första mötet med FME finns tillgängliga online.

Konferenser

Lista över VDM- och FME-konferenserna ( http://www.informatik.uni-trier.de/~ley/db/conf/fm/ )

Anteckningar

Läslänkar

  1.   Bjørner, Dines; Cliff B. Jones (1978). Wienutvecklingsmetoden: Metaspråket, föreläsningsanteckningar i datavetenskap 61 . Berlin, Heidelberg, New York: Springer. ISBN 978-3-540-08766-3 .
  2.   O'Regan, Gerard (2006). Matematiska metoder för mjukvarukvalitet . London: Springer. ISBN 978-1-84628-242-3 .
  3.    Cliff B. Jones, red. (1984). Programmeringsspråk och deras definition — H. Bekič (1936-1982) . Föreläsningsanteckningar i datavetenskap . Vol. 177. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag. doi : 10.1007/BFb0048933 . ISBN 978-3-540-13378-0 . S2CID 7488558 .

externa länkar