VDM ファイル形式とは？
.vdm は、VDM-SL または VDM++ 仕様言語で記述されたソースコードを保存するために使用される開発ファイル形式です。.vdm ファイルはプレーンテキストであり、任意のテキストエディタを使用して編集できます。VDM ファイルは、コンピューティングシステムのモデルを記述する形式仕様を保存します。VDM 仕様ファイルを使用することで、設計者はシステムのハイレベルな視点を得ることができます。これは、実装ソースコードを精読するだけでは得ることが難しいものです。また、VDM ファイルはコードコンポーネントを生成するための基礎としても機能します。
Vienna Development Method (ウィーン開発法)
VDM 標準は 1970 年代に IBM のウィーン研究所で開発され、コンピュータシステム開発のための最も古い形式手法の 1 つです。VDM-SL は 1996 年に ISO/IEC 13817-1 として標準化されました。その後、オブジェクト指向モデリングをサポートするために拡張され、同じく .vdm ファイルを使用する VDM++ 標準が誕生しました。3 番目のダイアレクトである VDM-RT は、リアルタイムおよび分散システム向けに VDM++ を拡張したものです。この言語は、オペレーティングシステムの設計、コンパイラ、アビオニクスソフトウェア、医療機器制御システムなどの安全性が不可欠な領域に適用されています。
主要なオープンソースツールセットは Overture Tool です。これは Eclipse ベースの IDE で、コミュニティによって積極的に保守されており、EU の研究プロジェクトや産業プロジェクトで使用されています。一部のツールでは、2 つの主要なダイアレクトを区別するために、代替の拡張子 .vdmsl および .vdmpp が使用されることもあります。
セキュリティと安全性
リスク： LOWプレーンテキストのソースコードファイルであり、実行可能なコンテンツは含まれません。既知のマルウェアベクターはありません。
形式の詳細
概要- VEDIT マクロファイル (Greenview Data) - VEDIT テキストエディタ (Greenview Data, Inc.) 用のスクリプト/マクロファイル。テキスト、バイナリ、または EBCDIC ファイルの編集作業を自動化するために VDM マクロ言語で記述されています。VEDIT はニッチですが、現在も販売されている Windows/DOS 用エディタです。
- Windows Defender ウイルス定義モジュール - 歴史的に Microsoft Windows Defender でウイルス定義モジュール（既知のマルウェアシグネチャを含む .vdm ファイル）として使用されていました。現代の Defender は異なる更新メカニズムを使用しています。
VDM ファイルを開くプログラム
Windows4 apps
VS Code (with Overture extension)
オープンソース Overture コミュニティが VDM 用の VS Code 言語サポートを提供しています。.vdm を開いて構文ハイライトを表示できます。 
macOS2 apps
Linux2 apps
技術的詳細
詳細仕様| ファイルエンコーディング | プレーンテキスト - ASCII または UTF-8 |
| ダイアレクト | VDM-SL (モジュール型/フラット)、VDM++ (オブジェクト指向)、VDM-RT (リアルタイム/分散) |
| ISO 標準 | ISO/IEC 13817-1:1996 (VDM-SL) |
| 構文の基礎 | 集合論、述語論理、代数的データ型 |
| モジュール構造 (VDM-SL) | `module` キーワードと `types`、`values`、`functions`、`operations` セクション |
| クラス構造 (VDM++) | `class` キーワードとインスタンス変数、メソッド、不変条件 |
| 一般的なファイルサイズ | 1 KB - 200 KB |
| OS サポート | Windows, Linux, macOS - プラットフォームに依存しないテキスト形式 |
| 主要ツール | Overture Tool (Eclipse ベース、オープンソース); VDMTools (商用、レガシー) |
| 代替拡張子 | VDM-SL ソース用の `.vdmsl`、VDM++ ソース用の `.vdmpp` および `.vpp` |
| コード生成 | Overture Tool により VDM++/VDM-RT からの Java および C++ 生成をサポート |
| アプリケーションドメイン | アビオニクス、医療機器、金融システム、コンパイラ設計、安全性が不可欠な組み込みシステム |
| リリース日 | 1970s (VDM-SL); ISO/IEC 13817-1 published 1996 |
| 最新バージョン | VDM-SL (ISO/IEC 13817-1:1996); VDM++ (extension for OO, 2000s); VDM-RT (real-time extension) |
| オープンスタンダード | はい · ロイヤリティフリー |
| 仕様書 | www.overturetool.org |
VDM の変換
コミュニティ Q&A
ユーザーからの質問まだ質問はありません。VDM ファイルについて最初の質問をしてみましょう。
