[論文レビュー] Abstract State Machines 1988-1998: Commented ASM Bibliography

Egon Boerger, James Huggins|ArXiv.org|Nov 9, 1998

Computability, Logic, AI Algorithms参考文献 76被引用数 11

ひとこと要約

この論文は、1988年から1998年までに発表された105編の抽象状態機械（ASMs）に関する論文の包括的で注釈付きの参考文献目録を、エゴン・ボーアーゲルとジェイムズ・K・ハギンズによって編纂したものである。これは、ソフトウェアおよびハードウェアシステムの仕様記述と検証のための形式的技法としてのASMsの発展を記録したものであり、プログラミング言語、分散システム、形式的技法といった多様な分野への応用を強調している。特に、正確で機械検証可能なシステム記述と検証を可能にする点に焦点を当てている。

ABSTRACT

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.

研究の動機と目的

• 1988年から1998年までの抽象状態機械（ASMs）に関する研究の増加する文献を記録し整理すること。
• 形式的技法およびシステム仕様記述におけるASMsの定義的・応用的応用を示す、研究者向けの選別された注釈付き参考文献リストを提供すること。
• 複雑なシステムの仕様記述と検証のための形式的技法としてのASMsの採用と発展を支援すること。
• 将来の研究の基盤を築くために、ASMの応用および理論分野における代表的論文とトレンドを特定すること。
• ソフトウェア工学、形式的技法、理論的コンピュータ科学分野の研究者および実務家が利用できる参考文献ツールとしての役割を果たすこと。

提案手法

• 1988年から1998年までに発表された105編の査読済みASMs論文の包括的参考文献目録の作成。
• 機械可読性および学術ツールへの統合を目的とした、標準化された引用形式とメタデータ（例：BibTeX）の使用。
• 各項目に対して、論文の貢献、範囲、ASM理論または応用における関連性を要約する詳細な記述的コメントの含む。
• 形式的仕様、検証、プログラミング言語、分散システムなどの研究分野ごとに論文を分類。
• 恒久的リンクのためのDOI、ACM分類（D.2.4）、学術誌の参考文献（EATCS Bulletin）などのメタデータの統合。
• HTMLおよびBibTeX形式での両方で、アクセス性と再利用性を確保するための動的更新可能な文書としての参考文献目録の維持。

実験結果

リサーチクエスチョン

• RQ1 1988年から1998年までの抽象状態機械（ASMs）における主な理論的および応用的発展は何か？
• RQ2 この期間中にASMsは、ソフトウェアおよびハードウェアシステムのモデル化と検証にどのように活用されたか？
• RQ3 ASMs研究の発展段階における主な応用分野と研究トレンドは何か？
• RQ4 ASMsはソフトウェア工学における形式的技法およびシステム仕様記述にどのように寄与したか？
• RQ5 この期間に、基礎的原則または実用的応用を確立する代表的論文はどれか？

主な発見

• 参考文献目録は、1988年から1998年までに発表された105編の重要なASMs論文を特定しており、広範かつ進化する研究分野を反映している。
• ASMsは、並列および分散システムを含む複雑なシステムの形式的仕様記述と検証にますます応用されている。
• 形式的技法としてのASMsは、プログラミング言語設計分野でも注目され、ASM形式を用いた意味論と型システムの研究がなされている。
• ASMsが、正確さと機械検証可能性を両立できる抽象化レベルでシステムをモデル化できる点が強調されている。
• この収集は、非形式的システム記述と形式的検証の間のギャップを埋めるASMsの役割を強調している。
• 参考文献目録はEATCS Bulletinに掲載され、DOIが付与されており、長期的なアクセス性と引用可能性が保証されている。