Towards an Ontology for the Foundations of Software Languages
本文介绍了“软件语言基础”（FSL）本体的首个版本，该知识资源旨在为计算机科学教育统一多样化的软件语言概念，其开发采用了由生成式人工智能增强的标准方法。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象你走进一座巨大而混乱的图书馆。这座图书馆不仅藏书，还收藏了人类为计算机编写过的每一种“指令手册”。这里有编程语言（如 Python 或 C++）、建模语言（软件的蓝图）、数据库查询语言，甚至包括软件构建的规则。
目前，这座图书馆一片狼藉。书籍堆在地上，标签不统一，没人确切知道“数据库查询”与“编译器”之间究竟有何关联。
问题所在：
几十年来，计算机科学家一直在构建这些语言，但他们始终缺乏一张统一的“地图”或“目录”，用以解释所有这些不同类型的语言如何相互关联、由哪些工具构建，以及它们基于何种形式化规则（数学）。
解决方案（FSL）：
作者拉尔夫·莱姆尔（Ralf Lämmel）构建了一种名为“软件语言基础”（Foundations of Software Languages，简称 FSL）的新型地图。请将 FSL 想象成一本“数字化的、活生生的百科全书”（一种“本体论”），而非普通书籍，它旨在组织整个软件语言宇宙。
以下是论文如何用简单的类比来解释这一项目：
1. “总目录”类比
通常，如果你想找一本书，你会查阅杜威十进制分类法。但在软件世界里，针对不同事物我们有不同的分类系统。
- FSL 就是总目录。 它不仅仅列出语言，更将它们相互连接。它告诉你"Java"（一种编程语言）和"OCL"（一种建模语言）都属于“软件语言”，但它们既共享某些概念（如“面向对象”），又拥有各自独有的概念。
- 它还描绘了构建这些语言所需的工具（建造这些语言的锤子和锯子）以及使它们得以运行的形式化数学（蓝图和物理学原理）。
2. “建筑工地”类比
论文认为，构建软件语言就像运营一个巨大的建筑工地。
- 语言是建筑物。
- 工具是起重机和挖掘机。
- 形式化系统是确保建筑物不会倒塌的物理学和工程学定律。
- 软件工程活动是施工阶段（规划、建造、测试）。
在 FSL 出现之前，我们拥有建筑物的蓝图，但缺乏一张单一的图表来展示起重机、物理定律和施工阶段之间是如何相互作用的。FSL 绘制了这幅全景图。
3. "AI 副驾驶”类比
绘制如此宏大的地图是一项浩大的工程。作者利用生成式人工智能（如同一位超级聪明、阅读速度极快的助手）来协助完成。
- 人类： 作者（建筑师）决定“建造什么”并检查工作。
- AI： AI 充当研究助理。它帮助发现新的语言类别，建议关系的命名，并根据作者的示例填补地图中的缺失部分。
- 结果： AI 并非独自构建地图；它加速了进程，让人类能够专注于宏观大局，而由 AI 承担数据整理的繁重工作。
4. “技术空间”类比
论文引入了“技术空间”的概念。想象城市中的不同街区：
- 一个街区是模型驱动工程（一切皆基于蓝图构建）。
- 另一个街区是SQL（一切皆关乎数据库）。
- 再一个街区是XML（一切皆关乎数据标签）。
FSL 描绘了这些街区。它向你展示，如果你住在“模型驱动”街区，你会使用特定的工具并遵循特定的规则；同时，它也展示了如果你需要前往"SQL"街区，该如何通行。
论文实际取得的成果（“首次发布”）
论文展示了该地图的1.0 版本。这并非最终完美的版本（作者承认它只是一个“最小可行性产品”，就像一栋原型房屋）。
- 它组织了混乱： 它将语言、工具和数学概念归类为结构化的层级。
- 它连接了点滴： 它展示了诸如“工具 X 处理语言 Y"或“概念 Z 用于活动 A"这样的关系。
- 它面向开放： 该地图已发布在网络上（GitHub），以便其他专家查看、修正错误并添加更多内容。
这为何重要？
根据论文，其主要目标是教育。
想象一名试图学习计算机科学的学生。他们可能修读一门“编程”课，另一门“数据库”课，还有一门“软件工程”课。目前，这些课程感觉像是彼此隔绝的岛屿。
FSL 就是桥梁。 它帮助教师和学生看到这些学科如何相互关联。它提供了一个单一的、有组织的知识库，将软件世界的理论、实践和工具紧密联系在一起。
简而言之： 这篇论文旨在利用专家人类知识与人工智能辅助相结合的方式，构建软件语言世界的首份全面“谷歌地图”，以帮助学生和研究人员理解万物是如何契合在一起的。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。