[论文解读] XFO: Toward Programming Rich Semantic Models

Robert B. Allen, Teryn K. Jones|arXiv (Cornell University)|Apr 30, 2018

Semantic Web and Ontologies参考文献 2被引用 3

一句话总结

本文提出了XFO，一种将基础形式本体论（BFO2）与面向对象软件工程相结合的编程环境，以支持丰富语义模型的开发。通过将本体论严谨性与编程实践对齐，XFO支持复杂领域模型的实现——以交通信号灯微型世界为例，实现了精确、可扩展且可重用的语义软件系统。

ABSTRACT

We have proposed that ontologies and programming languages should be more closely aligned. Specifically, we have argued that the Basic Formal Ontology (BFO2) has many features that are consistent with object-oriented analysis, design, and modeling. Here, we describe the eXtended Formal Ontology (XFO), a programming environment we developed to support semantic modeling. We then use XFO to implement a Traffic Light Microworld and discuss more complex applications.

研究动机与目标

• 通过将形式本体论与面向对象建模原则对齐，弥合本体论与软件工程之间的语义鸿沟。
• 解决传统本体论在表达软件系统所需复杂、动态领域语义方面的局限性。
• 开发一个支持语义建模与从丰富本体规范生成可执行代码的编程环境。
• 通过具体实现，证明形式本体论可作为软件开发中的第一类公民。
• 通过集成本体与代码开发，实现可扩展、可维护且语义基础牢固的软件系统。

提出的方法

• 设计并实现XFO，一种原生支持基础形式本体论（BFO2）作为建模基础的领域特定环境。
• 将BFO2的顶层本体类别（如持续体、事件）整合到类似编程语言的语法中，用于模型规范。
• 在语义建模框架中支持面向对象原则，如继承、封装与多态。
• 在XFO中定义领域特定构造，使用形式本体原语对复杂现实系统（如交通信号灯系统）进行建模。
• 通过运行时类型检查与语义一致性强制执行，支持语义模型的执行与验证。
• 以交通信号灯微型世界作为案例研究，展示XFO在建模动态、实时系统方面的表达力与正确性。

实验结果

研究问题

• RQ1 如何有效将形式本体论（如BFO2）集成到编程环境中，以支持语义软件开发？
• RQ2 面向对象编程原则在本体建模中可应用到何种程度，以提升模型的表达力与可重用性？
• RQ3 基于形式本体的编程环境能否支持复杂现实领域模型的规范与执行？
• RQ4 在软件工程中，使用统一框架进行语义建模与代码生成的实际优势是什么？
• RQ5 将BFO2集成到编程环境中，如何提升软件系统的精确性与可维护性？

主要发现

• XFO成功实现了使用与面向对象编程原则一致的语法与结构来指定丰富的语义模型。
• XFO中对BFO2的集成使得复杂领域实体（如交通信号灯及其状态）能够以形式化方式表示，并保持语义一致性。
• 交通信号灯微型世界案例研究证明，XFO能够对具有精确本体基础的动态、时间敏感系统进行建模。
• XFO支持语义约束的运行时验证，减少了模型实现中的错误，提升了系统可靠性。
• 该环境实现了从本体规范到可执行代码的无缝过渡，增强了可维护性与可重用性。
• 该方法表明，形式本体论可作为软件开发的坚实基础，尤其在需要高语义保真度的领域中。