A Dynamic Extension for the Specifications of Distributed Systems
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we describe an approach for extending distributed system specifications. Such specifications can be structured as a parallel composition of subsystem specifications. The approach consists of building a new specification S_<new> by adding a new behavior described by a specification S_<added> to a specification S_<old> while preserving of the properties of S_<old> and S_<added> as well as the structure of S_<old>. S_<new> has all the properties of S_<old> and S_<added>, if S_<new> can perform whatever S_<old> (and S_<added>) can perform, and it does not block where S_<old> (or S_<added>) does not block. We apply our approach to extending the functionality of a basic automatic teller machine.
- 一般社団法人情報処理学会の論文
- 1997-07-15
著者
-
ハミド アイサム.a.
Department Of Information Design Tohoku University Of Art & Design
-
HAMID ISSAM
Department of Information Design, Tohoku University of Art & Design
-
KHENDEK FERHAT
Departement d'informatique et de recherche opeationnelle, Universite de Montreal
-
Khendek Ferhat
Departement D'informatique Et De Recherche Opeationnelle Universite De Montreal
関連論文
- 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
- 分散システム仕様の動的進化に対する枠組オブジェクトふるまいの専門化と必要条件仕様記述
- 分散システム仕様の動的進化に対する枠組
- 分散システム行動のダイナミックな拡張のための形式上の骨組み
- 芸術と科学の融合を目指した新しい統合化教育システムの構築
- オブジェクト指向技術を用いた分散システムの動的モデル化と解析