[論文レビュー] Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"

А. В. Палагин, N. G. Petrenko+2 more|arXiv (Cornell University)|Mar 24, 2018

Model-Driven Software Engineering Techniques参考文献 5被引用数 19

ひとこと要約

本論文は、『概念的工学目的のための道具複合体』と呼ばれるソフトウェアシステムの形式的設計および実装を提示している。このシステムは、三層構造のクライアント・サーバアーキテクチャを採用し、オントロジーの開発を支援する。形式的モデル、UML図、数学的式を統合することで、検証可能なソフトウェア工学的手法とAI駆動のモデリング技術を用いた、構造的かつスケーラブルなオントロジー工学を実現する。

ABSTRACT

The given paper considered a generalized model representation of the software system "Instrumental complex for ontological engineering purpose". Represented complete software system development process. Developed relevant formal models of the software system "Instrumental complex for ontological engineering purpose", represented as mathematical expressions, UML diagrams, and also described the three-tier architecture of the software system "Instrumental complex for ontological engineering purpose" in a client-server environment.

研究の動機と目的

• 複雑な情報環境におけるオントロジー工学を支援する形式的ソフトウェアシステムの開発。
• ソフトウェア主体のシステムにおけるオントロジーの構築および管理に向けた標準的でスケーラブルなツールの不足に対処すること。
• 形式的モデル、アルゴリズム、工学的手順を統合し、一貫性があり拡張可能なソフトウェアアーキテクチャを構築すること。
• UMLおよび数学的モデリングを用いた三層構造のクライアント・サーバ設計により、信頼性と保守性を確保すること。
• AIおよび知識集約型アプリケーションにおけるオントロジー開発のための実用的で再利用可能なフレームワークを提供すること。

提案手法

• システムは三層アーキテクチャ（プレゼンテーション層、ビジネスロジック層、データアクセス層）を採用しており、モジュラーかつスケーラブルな展開を可能にしている。
• 形式的モデルは数学的式とUML図を用いて表現され、システム仕様における正確性と一貫性を保証する。
• オントロジー工学手順はアルゴリズムワークフローとして符号化され、自動的および準自動的な知識モデリングを支援する。
• ソフトウェアシステムはクライアント・サーバ環境で実装されており、分散協働と集中型知識管理を支援する。
• 開発プロセスは、要件モデリング、設計仕様、形式的検証を含む、構造的なソフトウェア工学手法に従う。
• オントロジー作成、保存、検索のための明確なインターフェースとモジュラー構成要素により、拡張性が確保されている。

実験結果

リサーチクエスチョン

• RQ1 形式的モデルとソフトウェア工学原則を、オントロジー工学のためのシステムにどのように統合できるか。
• RQ2 オントロジー開発プラットフォームのスケーラビリティと保守性を最適に支えるアーキテクチャパターンは何か。
• RQ3 UMLと数学的式をどのように用いて、オントロジー工学ツールの振る舞いと構造を正式に規定できるか。
• RQ4 クライアント・サーバ間の相互作用は、分散環境における共同オントロジー開発をどのように可能にするか。
• RQ5 オントロジー系におけるソフトウェア開発ライフサイクル全体を形式的に定式化することで、信頼性と再利用可能性をどのように確保できるか。

主な発見

• 提案された道具複合体は、明確な責任の分離を実現する形式的でモジュラーかつ拡張可能なフレームワークを提供する。
• 三層構造アーキテクチャにより、計算負荷の効率的配分が可能となり、企業環境におけるセキュアでスケーラブルな展開を支援する。
• UML図と数学的式の統合により、形式的正しさが保証され、システム部品の検証が容易になる。
• 構造的な開発プロセスがサポートされ、オントロジー作成における曖昧性が低減し、再現性が向上する。
• 形式的モデリングアプローチにより保守性が向上し、AI支援のオントロジー最適化などの将来の拡張も可能になる。
• 本システムは、UkrPROG 2014会議の文脈において実装および展開され、実世界の状況における実用的応用性が実証された。