分散システム仕様の動的進化に対する枠組オブジェクトふるまいの専門化と必要条件仕様記述
スポンサーリンク
概要
- 論文の詳細を見る
本論では,実行可能な仕様記述法の開発と動的変更を考慮した形式的記述の技術に論点を置く.大規模なオブジェクト指向仕様記述を進化させるために2つのレベルのモデルを導入する.第1のレベルは,型(クラス)の動的変更を扱う.一方,第2のレベルはモジュールの変更を扱う.両方のレベルでその変更後,仕様記述の一貫性を保証するために,構造的かつ振る舞い的制約の集合を定義する.型とモジュールの動的変更を可能にするために,我々は変更の操作を支援するメタオブジェクトを用いるリフレクティブなオブジェクト指向仕様記述言語を開発した.この言語において型とモジュールはオブジェクトである.
- 一般社団法人情報処理学会の論文
- 1994-03-09
著者
-
ハミド アイサム.a.
Department Of Information Design Tohoku University Of Art & Design
-
ハミド アイサム
東北芸術工科大学情報デザイン学科
関連論文
- A Dynamic Extension for the Specifications of Distributed Systems
- 分散システム仕様のための動的拡張
- 分散システム仕様を検査する意味論的振る舞い
- Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language
- 再構成可能なベンズINを設定するための高速並列計算モデル
- ルールチェッキングエキスパートシステムの検証法
- Type Evolution in a Reflective Object-Oriented Language
- 分散システム仕様の動的進化に対する枠組オブジェクトふるまいの専門化と必要条件仕様記述
- 分散システム仕様の動的進化に対する枠組
- 分散システム行動のダイナミックな拡張のための形式上の骨組み
- 芸術と科学の融合を目指した新しい統合化教育システムの構築
- オブジェクト指向技術を用いた分散システムの動的モデル化と解析