分散システム仕様の動的進化に対する枠組

概要

論文の詳細を見る
最近,分散システムのオブジェクト指向仕様記述により多くの注意が払われるようになってきている.オブジェクト指向アプローチが,システム構成に対して柔軟であることは知られている.しかしながら,主要な問題の1つは,開発工程とメンテナンス工程の間で,そうした仕様記述を動的に変更できる能力を提供することである.にもかかわらず現時点の研究では,分散システムの仕様記述の動的変更については言及されていない.本論では,実行可能な仕様記述法の開発と動的変更を考慮した形式的記述の技術に論点を置く.大規模なオブジェクト指向仕様記述を進化させるために2つのレベルのモデルを導入する.第1のレベルは,型(クラス)の動的変更を扱う.一方,第2のレベルはモジュールの変更を扱う.両方のレベルでその変更後,仕様記述の一貫性を保証するために,構造的かつ振る舞い的制約の集合を定義する.型とモジュールの動的変更を可能にするために,我々は変更の操作を支援するメタオブジェクトを用いるリフレクティブなオブジェクト指向仕様記述言語を開発した.この言語において型とモジュールはオブジェクトである.
一般社団法人情報処理学会の論文
1994-03-01