著者

泉 直子 片山 卓也

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.14, no.5, pp.452-467, 1997-09-16

被引用文献数

1

---

ソフトウェアオブジェクトには製品の部品構成をはじめ,仕様の詳細化関係,バージョン変化など様々な関係がある.オブジェクトを修正する過程でそれらの関係は複雑に変化するので,全体として矛盾なくそれらの関係を保存するのは難しい. 一方,オブジェクト論理はオブジェクトベースを形式的に扱った論理である.オブジェクト論理の一つF-logic[9]は,オブジェクトをis-a関係の階層構造で捉え,オブジェクト間の関係を論理式で与える.更に,オブジェクト識別性,複合オブジェクト,クラス階層,継承などのオブジェクト指向の考え方を保存した解釈を束構造の中に与えている. 本論文では,製品の部品構成,仕様とそこから詳細化してできるオブジェクトとの関係を形式化し,F-logicの拡張として,無矛盾に部品構成の履歴管理ができるオブジェクト論理FT-logicを提案する.更に,形式的な解釈を与え,質問処理に関するアルゴリズムが存在することを示した.