[論文レビュー] XFO: Toward Programming Rich Semantic Models

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

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

ひとこと要約

本論文は、基本的形式的ontology（BFO2）をオブジェクト指向ソフトウェア工学と統合することで、豊富な意味的モデルの開発を可能にするプログラミング環境XFOを紹介する。意味的厳密性とプログラミング実践を一致させることで、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.

研究の動機と目的

• 形式的ontologyとオブジェクト指向モデリング原則を一致させることで、ontologyとソフトウェア工学の間の意味的ギャップを埋めること。
• ソフトウェアシステムが要求する複雑で動的なドメイン意味論を表現する上で、従来のontologyの限界を克服すること。
• 豊富なontology仕様から意味的モデリングと実行可能コード生成を両立できるプログラミング環境の開発。
• 具体的な実装を通じて、形式的ontologyをソフトウェア開発における一等重要な要素として使用可能であることを実証すること。
• 統合されたontologyとコード開発を通じて、拡張可能で保守可能かつ意味的に根拠のあるソフトウェアシステムの構築を可能にすること。

提案手法

• XFOを設計および実装し、ドメイン固有の環境として、基本的形式的ontology（BFO2）をモデリングの基盤としてネイティブにサポートする。
• BFO2の上位レベルのontology的カテゴリー（例：持続的実体、出来事）を、モデル仕様のためのプログラミング言語に似た構文に統合する。
• オブジェクト指向の原則（継承、カプセル化、多態性）を意味的モデリングフレームワーク内でもサポートする。
• 交通信号システムなどの複雑な現実世界のシステムを、形式的ontologyの基本的要素を用いてモデル化するためのドメイン固有の構文をXFOに定義する。
• 実行時型チェックと意味的整合性の強制を通じて、意味的モデルの実行と検証を可能にする。
• 交通信号のマイクロワールドを事例として採用し、XFOが動的でリアルタイムなシステムをどれほど正確に表現できるかを示す。

実験結果

リサーチクエスチョン

• RQ1 形式的ontology（例：BFO2）をどのようにプログラミング環境に効果的に統合することで、意味的ソフトウェア開発を支援できるか？
• RQ2 オブジェクト指向プログラミング原則をontologyモデリングに適用することで、モデルの表現力と再利用性がどの程度向上できるか？
• RQ3 形式的ontologyに基づくプログラミング環境が、複雑な現実世界のドメインモデルの仕様と実行をサポートできるか？
• RQ4 ソフトウェア工学において、意味的モデリングとコード生成を統合したフレームワークを用いることで得られる実用的利点は何か？
• RQ5 プログラミング環境にBFO2を統合することで、ソフトウェアシステムの正確性と保守性がどの程度向上するか？

主な発見

• XFOは、オブジェクト指向プログラミング原則に整合した構文と構造を用いて、豊富な意味的モデルを指定可能であることを実証した。
• BFO2をXFOに統合することで、交通信号やその状態といった複雑なドメインエンティティを、意味的に整合した形で形式的に表現できるようになった。
• 交通信号のマイクロワールド事例は、XFOが動的で時間に依存するシステムを、正確なontology的根拠に基づいてモデル化できることを示している。
• XFOは実行時における意味的制約の検証をサポートしており、モデル実装の誤りを低減し、システムの信頼性を向上させている。
• 環境は、ontologyの仕様から実行可能コードへのスムーズな移行を可能にし、保守性と再利用性を高めている。
• このアプローチは、形式的ontologyが、特に高い意味的正確性が求められる分野において、ソフトウェア開発の堅実な基盤となり得ることを示している。