コアASM

CoreASMは、抽象システム モデルの高レベル設計、実験検証、および形式検証 (適切な場合) をサポートするツール環境と組み合わせて、無駄のない実行可能な ASM (抽象ステート マシン) 言語の設計に重点を置いたオープンソース プロジェクト (Academic Free License バージョン 3.0 でライセンスされています) です。

抽象ステート マシンは、アルゴリズム、アーキテクチャ、言語、プロトコル、および事実上あらゆる種類の順次、並列、分散システムのモデリングにおいて、その汎用性で知られています。ASM 形式は、形式的アプローチと実際的アプローチのギャップを埋める目的で、15 年以上にわたって学界および産業界の研究者によって広範に研究されてきました。

モデルベースのシステム エンジニアリングでは、シミュレーションとテストによる設計調査と実験検証のツールとして、抽象実行可能仕様を活用できます。2 世代の ASM ツールの経験を基に、CoreASM と呼ばれる新しい実行可能 ASM 言語が開発されています (CoreASM ホームページを参照)。

CoreASM 言語は、実験の自由度を重視し、創造性の産物としての設計の進化的性質をサポートします。これは、初期仕様を記述する目的で問題領域を探索するのに特に適しています。CoreASM 言語では、問題領域を形式モデルにマッピングする際のエンコードの必要性を最小限に抑え、意図的に抽象化したままにされている仕様の部分を明示的に宣言できるようにすることで、高度に抽象化され簡潔な仕様を記述できます。最小限の原則と、基礎となる数学的フレームワークの堅牢性を組み合わせることで、仕様の変更可能性が向上し、仕様と設計の高度な反復的性質が効果的にサポートされます。

• R. Farahbod、V. Gervasi、U. Glässer、M. Memon。抽象要件の設計探索と実験的検証、第 12 回国際要件エンジニアリング作業会議の議事録: ソフトウェア品質の基礎 (REFSQ'06)、2006 年 6 月、ルクセンブルク、ルクセンブルク大公国、Essener Informatik Beitrage、ISBN  3-922602-26-6。
• R. Farahbod、V. Gervasi、U. Glässer、および M. Memon。CoreASM 実行エンジンの設計と仕様、パート 1: カーネル。技術レポート SFU-CMPT-TR-2006-09、サイモンフレーザー大学、2006 年 5 月。
• R. Farahbod、V. Gervasi、U. Glässer。CoreASM: 拡張可能な ASM 実行エンジン。D. Beauquier、E. Börger、A. Slissenko (編)、Proc. 12th International Workshop on Abstract State Machines、パリ、2005 年 3 月、153 ～ 165 ページ
• ... さらなる参考資料とドキュメント

• GitHubの CoreASM プロジェクト
• CoreASM ウィキ
• 抽象ステートマシンのホームページ