面向软件语言基础的本体论
软件工程
2026-05-19 v1
摘要
软件语言的概念涵盖编程语言、建模语言以及其他许多用于软件工程的语言类型。新的本体论 'Foundations of Software Languages' (FSL) 组织支撑软件语言的基础。我们关注语言范畴、语言概念、关联工具和方法论方法、支撑软件语言的形式系统或其他形式实体，以及软件语言嵌入软件工程活动的方式。FSL 的首要目标是作为计算机科学教育中的知识资源，通过原则性方式将多个学科领域连接起来。FSL 的第一个版本 (V1) 如本文所述，是通过相对标准的方法构建的，包括期望、复用、概念化、形式化和验证等常见步骤。我们利用生成式 AI 支持本体论工程（发现、分类、链接、完成和转换）。
引用
@article{arxiv.2605.17374,
title = {Towards an Ontology for the Foundations of Software Languages},
author = {Ralf Lämmel},
journal= {arXiv preprint arXiv:2605.17374},
year = {2026}
}