Meta-IV (jazyk specifikace) - Meta-IV (specification language)

The Meta-IV (vyslovováno jako "metafora") byla časná verze specifikačního jazyka Vídeňská rozvojová metoda formální metoda pro vývoj počítačových systémů.

Dějiny

Jedním z prvních výskytů Meta-IV v tisku se zdá být „Programování v metajazyku: Výukový program“.[1]Večeře Bjørner použil jej na samém začátku svého tutoriálu jako poznámku pod čarou

Tento článek poskytuje neformální úvod do "umění" abstraktního určování softwarových architektur pomocí VDM metajazyk*.[2] Formální zpracování sémantiky, stejně jako konkrétní syntaxe podobné BNF, velké podskupiny metajazyka je uvedeno v [Jones 78a] následující po tomto článku.

Ducha specifikačního jazyka Meta-IV dobře vystihuje následující pasáž[3]

Zdůrazňujeme zde ... že metajazyk se nemá používat k řešení algoritmických problémů (na počítači), ale k specifikaci architektury (nebo modelů) softwaru nezávislým na implementaci. Místo používání neformální angličtiny smíchané s technickým žargonem vám nabízíme velmi programovací jazyk na vysoké úrovni. Pro tento metajazyk nenabízíme tlumočníka ani překladače. A nemáme vůbec v úmyslu nikdy ztrácet čas pokusem o mechanizaci tohoto metajazyka. Přejeme si, jak jsme to udělali v minulosti, a jak to hodláme dělat i v budoucnu, dále rozvíjet notaci a vyjadřovat pojmy způsoby, pro které nemůže být nikdy poskytnut žádný systém mechanického tlumočníka.

VDM je Metoda. Meta-IV byl Specifikační jazyk který doprovázel metodu a VDM-SL je aktuální standardizovaná forma tohoto jazyka.

Vzhledem k tomu, že se VDM-SL stala standardizovanou, lze použít Meta-IV k označení tří specifických škol VDM[4] které existovaly (a do jisté míry stále existují) od 70. let 20. století:

Stručný popis těchto různých škol je uveden v textu „Matematické přístupy ke kvalitě softwaru“.[6]

Komplexní bibliografie VDM[7] je také k dispozici.

Školy VDM

Dánská škola

založeno Večeře Bjørner
Zmínit:

Anglická škola

založeno Cliff Jones (počítačový vědec)
Zmínit:

  • University of Manchester
  • University of Newcastle

Irská škola

založil Mícheál Mac a Airchinnigh
Zmínit:

  • University of Dublin, Trinity College

Jméno „Irish School of the VDM“ se poprvé objevuje v disertační práci: Mac an Airchinnigh, Mícheál. Koncepční modely a výpočetní technika.[8] Ph.D. Teze. University of Dublin, Trinity College, Dublin, 1990, str. 41:

Existuje zásadní univerzální dohoda o tom, co tvoří VDM. V zásadě však existují dvě hlavní školy VDM, které se do značné míry odlišují notačními rozdíly použitými ve specifikačním jazyce Meta-IV - dánská škola a anglická škola. “

a dále dolů na stejné stránce

K dispozici je také polská škola, která nachází výraz prostřednictvím projektu MetaSoft (Blikle 1987, 1988, 1990). Často budu muset rozlišovat mezi stylem notace a metodou, kterou používám, od stylů ostatních škol VDM. Já předpokládat použít výraz „irská škola VDM“ k provedení tohoto rozdílu.

Práce je k dispozici online.[9]

Další významné práce související se školou jsou také online.[10]

VDM Europe

Tyto tři školy byly sloučeny do společné organizační struktury zvané VDM Europe[11] který uspořádal první mezinárodní konferenci v Bruselu v Belgii ve dnech 23. – 26. března 1987. V té době bylo financování poskytováno v rámci programu Esprit Evropské unie. Zasedání se většinou konala v budovách Evropské komise v Bruselu v Belgii.

VDM Europe byla nakonec rozpuštěna[12] ve prospěch Formální metody Evropa, která byla založena v roce 1992.[13] Zápisy z prvního zasedání SjF jsou k dispozici online.[14]

Konference

Seznam konferencí VDM a FME (http://www.informatik.uni-trier.de/~ley/db/conf/fm/ )

Poznámky

  1. ^ Bjørner & Jones 1978, s. 24.
  2. ^ * hovorově známý jako: META-IV, Bjørner & Jones 1978, s. 24.
  3. ^ Bjørner & Jones 1978, s. 33
  4. ^ „Archivovaná kopie“ (PDF). Archivovány od originál (PDF) dne 06.01.2009. Citováno 2008-05-05.CS1 maint: archivovaná kopie jako titul (odkaz)
  5. ^ Micheal Mac an Airchinnigh - stránka s profilem autora ACM
  6. ^ O'Regan 2006
  7. ^ Gorm Larsen, Peter
  8. ^ Foilseacháin Archivováno 2004-08-21 na Wayback Machine
  9. ^ Titulní strana
  10. ^ Irská škola VDM - domovská stránka
  11. ^ VDM Europe 1987
  12. ^ „Archivovaná kopie“ (PDF). Archivovány od originál (PDF) dne 2008-08-27. Citováno 2008-05-05.CS1 maint: archivovaná kopie jako titul (odkaz)
  13. ^ Formální metody Evropa
  14. ^ „Archivovaná kopie“ (PDF). Archivovány od originál (PDF) dne 2008-08-27. Citováno 2008-05-05.CS1 maint: archivovaná kopie jako titul (odkaz)

Čtení odkazů

  1. Bjørner, Dines; Cliff B.Jones (1978). Metoda vývoje ve Vídni: Meta jazyk, přednášky v informatice 61. Berlín, Heidelberg, New York: Springer. ISBN  978-3-540-08766-3.
  2. O'Regan, Gerard (2006). Matematické přístupy ke kvalitě softwaru. Londýn: Springer. ISBN  978-1-84628-242-3.
  3. Cliff B.Jones, vyd. (1984). Programovací jazyky a jejich definice - H. Bekič (1936-1982). Přednášky z informatiky. 177. Berlín, Heidelberg, New York, Tokio: Springer-Verlag. doi:10.1007 / BFb0048933. ISBN  978-3-540-13378-0.

externí odkazy