形式化方法历史专题藏书介绍

《Formal Aspects of Computing》：Introduction to the Special Collection on the History of Formal Methods

　　

本期内容是关于形式方法历史的专题系列的第一部分，第二部分将出现在第38卷第4期中。这些论文是在2025年初发出的征稿呼吁之后提交的，并且已经按照该期刊的常规流程进行了评审。总体而言，它们从多个角度展现了形式方法的发展历程：个人回忆、传记、项目历史、领域综述、国家研究计划以及具有历史意义的技术阐述。

在 such a collection 中，技术细节的深度需要精心把握。《IEEE计算机历史年鉴》已经发挥了很好的作用，我们并不打算与其竞争。我们的目标是互补的：为那些贴近技术理念的研究人员和工程师提供一个平台，让他们能够解释自己试图解决的挑战、开展工作的知识与实际背景，以及他们认为自己的贡献如何帮助克服了这些问题。

Thomas Haigh所写的文章《Donald Knuth的泪水》探讨了计算机历史著作应在多大程度上保留技术细节这一相关议题 [1]。在早先发表于《Formal Aspects of Computing》第31卷第6期的关于形式方法历史的论文集中，Haigh为我们这类科学期刊征集历史资料给出了恰当的理由 [2]：

“大部分历史信息都存储在参与者的记忆中，这对我们其他人来说并不便于获取。由参与者或与所描述事件有个人关联的人撰写的故事通常并非关于历史事件的最终定论，但却是非常重要的起点。”

我们赞同这一观点。这里收集的论文并非旨在成为其所描述的历史事件、系统、项目及相关领域的最终结论，而是作为第一手资料：由对该领域技术发展有直接了解的人所提供的详实叙述，为当前的研究人员以及未来的历史学家提供参考。

本期共有五篇投稿。Simone Martini重新探讨了Alfonso Caracciolo di Forino和广义马尔可夫算法。Naijun Zhan及其同事介绍了中国形式方法的发展历史。Nancy Lynch和Mark Tuttle所写的《输入/输出自动机简介》最初发表于1989年的CWI Quarterly，经许可在此重新刊登，文章前还附有作者撰写的序言和引言。Dines Bj?rner回顾了自己作为形式方法领域的工程师、研究人员和科学家五十多年的经历。Maurice ter Beek及其同事则总结了铁路领域形式方法的发展历史。

Cliff Jones

英国泰恩威尔郡纽卡斯尔市纽卡斯尔大学

电子邮箱：[email?protected]

James Woodcock

中国重庆西南大学，丹麦奥胡斯大学电气与计算机工程系，英国约克大学计算机科学系

电子邮箱：[email?protected]

特邀编辑