[论文解读] 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）的论文，由Egon Boerger和James K. Huggins整理。该书目记录了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作为指定和验证复杂系统的形式化方法的采用与进一步发展。
• 通过识别ASMs应用与理论中的奠基性工作与发展趋势，为未来研究奠定基础。
• 为软件工程、形式化方法以及理论计算机科学领域的研究人员和实践者提供参考工具。

提出的方法

• 汇编1988年至1998年间发表的105篇经过同行评审的ASMs论文的综合性参考书目。
• 使用标准化的引用格式和元数据（如BibTeX）以确保机器可读性，并可集成到学术工具中。
• 为每篇条目提供详细、描述性的评论，总结论文的贡献、研究范围及其在ASM理论或应用中的相关性。
• 按研究领域对论文进行分类，如形式化规范、验证、编程语言和分布式系统等。
• 整合元数据，包括ACM分类（D.2.4）、期刊引用（EATCS Bulletin）以及DOI，以实现持久链接。
• 以HTML和BibTeX两种格式维护该参考书目，作为持续更新的文档，以确保可访问性和可重用性。

实验结果

研究问题

• RQ1 1988年至1998年间，抽象状态机（ASMs）在理论和应用方面有哪些关键发展？
• RQ2 在此期间，ASMs如何被用于建模和验证软硬件系统？
• RQ3 ASMs研究在该方法的形成阶段的主要应用领域和研究趋势是什么？
• RQ4 ASMs如何促进软件工程中的形式化方法和系统规范？
• RQ5 哪些奠基性论文在这一时期确立了ASMs的基础原理或实际应用？

主要发现

• 该参考书目识别出1988年至1998年间发表的105篇重要ASMs论文，代表了一个广泛且不断发展的研究领域。
• ASMs被越来越多地应用于复杂系统的正式规范与验证，包括并发系统和分布式系统。
• 该方法在编程语言设计领域获得认可，相关论文探索了使用ASM形式化方法描述语义和类型系统。
• 特别强调了ASMs在抽象层次上建模系统的能力，该层次既保证了精确性，又支持机器可检查性。
• 该文献集合凸显了ASMs在弥合非形式化系统描述与正式验证之间差距方面的作用。
• 该参考书目发表于EATCS Bulletin，并分配了DOI，确保了长期可访问性和可引用性。