Meta-IV（仕様言語）

Meta -IV （「メタファー」のように発音する）は、コンピュータシステム開発のための形式手法であるウィーン開発手法の仕様記述言語の初期バージョンであった。

Meta-IVが印刷物で初めて登場した例の一つは、『メタ言語によるプログラミング：チュートリアル』^{[ 1 ]}のようです。ディネス・ビョルナーは、チュートリアルの冒頭で脚注としてこの用語を使用しています。

この論文では、 VDMメタ言語^*を使用してソフトウェアアーキテクチャを抽象的に指定する「技術」について非公式な紹介を行います。^{[ 2 ]}この論文に続く[Jones 78a]では、メタ言語の大きなサブセットの意味論の形式的な扱いと、BNFのような具体的な構文が示されています。

Meta-IV仕様言語の精神は、次の文章によく表れています^{[ 3 ]}

ここで強調しておきたいのは、このメタ言語は（コンピュータ上で）アルゴリズム的な問題を解決するためではなく、実装に依存しない方法でソフトウェアのアーキテクチャ（またはモデル）を記述するために使用されるということです。専門用語を混ぜたくだらない英語を使う代わりに、非常に高水準な「プログラミング」言語を提供します。このメタ言語用のインタプリタやコンパイラは提供していません。また、このメタ言語を機械化しようと時間を費やすつもりも全くありません。これまでもそうしてきたように、そしてこれからもそうしていくつもりですが、表記法をさらに発展させ、機械的なインタプリタシステムでは決して実現できない方法で概念を表現していきたいと考えています。

VDMはメソッドです。Meta-IVは、このメソッドに付随する仕様記述言語であり、VDM-SLはその言語の現在の標準化された形式です。

VDM-SLが標準化されたので、Meta-IVを使用して、1970年代以降に存在した（そしてある程度は今も存在する） VDMの3つの特定のスクール^{[ 4 ]を示すことができます。}

• デンマーク学校 —ディネス・ビョルナーによって設立
• イングリッシュ・スクール ―クリフ・ジョーンズによって設立
• アイルランド学校^{[ 5 ]} —マイケル・マック・アン・エアチンニーによって設立

これらの異なる学派についての簡単な説明は、「ソフトウェア品質への数学的アプローチ」というテキストに記載されています。^{[ 6 ]}

包括的なVDM参考文献^{[ 7 ]}も入手可能です。

3つの学校は、VDM Europe ^{[ 11 ]}と呼ばれる共通の組織構造の下に統合され、1987年3月23日から26日にベルギーのブリュッセルで最初の国際会議が開催されました。当時、資金は欧州連合のエスプリ・プログラムの下で提供されていました。会議は主にベルギーのブリュッセルにある欧州委員会の建物で開催されました。

VDM Europeは最終的に解散し^{[ 12 ]}、1992年に設立されたFormal Methods Europeに取って代わられた^{[ 13 ]}。FMEの最初の会議の議事録はオンラインで入手可能である^{[ 14 ] 。}

VDMおよびFMEカンファレンスの一覧（http://www.informatik.uni-trier.de/~ley/db/conf/fm/）

1. ビョルナー、ディネス、クリフ・B・ジョーンズ（1978）。ウィーン開発法：メタ言語、コンピュータサイエンス講義ノート61。ベルリン、ハイデルベルク、ニューヨーク：シュプリンガー。ISBN 978-3-540-08766-3。
2. オリーガン、ジェラード（2006）。ソフトウェア品質への数学的アプローチ。ロンドン：シュプリンガー。ISBN 978-1-84628-242-3。
3. クリフ・B・ジョーンズ編（1984）。プログラミング言語とその定義― H・ベキッチ（1936-1982）。コンピュータサイエンス講義録。第177巻。ベルリン、ハイデルベルク、 ニューヨーク、東京：シュプリンガー・フェルラーク。doi ：10.1007/ BFb0048933。ISBN 978-3-540-13378-0. S2CID 7488558 . 

• ゴーム・ラーセン、ピーター。「VDM文献目録」 。 2008年8月13日取得。
• 「Formal Methods Europe」 。 2008年8月13日取得。