講演名 | 1994/3/9 分散システム仕様の動的進化に対する枠組 Hamid Issam, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本論では、実行可能な仕様記述法の開発と動的変更を考慮した形式的記述の技術に論点を置く。大規模なオブジェクト指向仕様記述を進化させるために2つのレベルのモデルを導入する。第1のレベルは、型(クラス)の動的変更を扱う。一方、第2のレベルはモジュールの変更を扱う。両方のレベルでその変更後、仕様記述の一貫性を保証するために、構造的かつ振る舞い的制約の集合を定義する。型とモジュールの動的変更を可能にするために、我々は変更の操作を支援するメタオブジェクトを用いるリフレクティブなオブジェクト指向仕様記述言語を開発した。この言語において型とモジュールはオブジェクトである。 |
抄録(英) | Given two behavior descriptions,the question whether one is a specialization of the other is important in many situations. Sometimes it must be checked whether the behavior of an implementation is a specialization of the specification.A two- level model for the evolution of large object-oriented specifications is introducecd.The first level deals with the dynamic modifications of types(classes),while the second level deals with modifications of modules.We have defined a set of structural and behavioral constraints to ensure the specification consistency after its modification at both levels.To allow for dynamic modification of types and modules,we have developed a reflective object-oriented specification language which use meta- objects to support the modification operations.In this language, types and modules are objects. |
キーワード(和) | オブジェクト指向仕様記述 / ソフトウェア進化 / 型変更 / モジュール互換性 / リフレ クション / 動的変更 |
キーワード(英) | object-oriented specifications / software evolution / type modification / modules compatibility / reflection / dynamic modifications. |
資料番号 | COMP93-82,SS93-50 |
発行日 |
研究会情報 | |
研究会 | COMP |
---|---|
開催期間 | 1994/3/9(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Theoretical Foundations of Computing (COMP) |
---|---|
本文の言語 | ENG |
タイトル(和) | 分散システム仕様の動的進化に対する枠組 |
サブタイトル(和) | |
タイトル(英) | Dynamic Evolution of Distributed Systems Specifications Specialization of Object Behaviors and Requirement Specifications |
サブタイトル(和) | |
キーワード(1)(和/英) | オブジェクト指向仕様記述 / object-oriented specifications |
キーワード(2)(和/英) | ソフトウェア進化 / software evolution |
キーワード(3)(和/英) | 型変更 / type modification |
キーワード(4)(和/英) | モジュール互換性 / modules compatibility |
キーワード(5)(和/英) | リフレ クション / reflection |
キーワード(6)(和/英) | 動的変更 / dynamic modifications. |
第 1 著者 氏名(和/英) | Hamid Issam / Issam Hamid |
第 1 著者 所属(和/英) | 東北芸術工科大学情報デザイン学科 Department of Information Design,Tohoku University of Art & Design |
発表年月日 | 1994/3/9 |
資料番号 | COMP93-82,SS93-50 |
巻番号(vol) | vol.93 |
号番号(no) | 496 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |