分散システム行動のダイナミックな拡張のための形式上の骨組み

• Item type: SIG Technical Reports(1)
• 公開日: 1994-01-27
• タイトル: 分散システム行動のダイナミックな拡張のための形式上の骨組み
• タイトル / 言語: en
• タイトル: Formal Framework for Dynamic Extension of Distributed Systems Behaviors
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東北芸術工科大学 情報デザイン学科
• 著者所属(英): en
• 著者所属(英): Tohoku University of Art & Design Department of Information Design
• 著者名: ハミドアィサム.A.
• 著者名(英): Issam, A.Hamid
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 仕様書の発展は、必要条件の発展とソフトウェア開発とメンテナンスプロセスの間の設計決定を調節するために必要である。可能な修正の間で新しいフィーチャーの追加は、重要な問題である。テレコミュニケーションシステムにフィーチャーを加えることのための努力は、つまり大きい分散ソフトウェアシステムに新しい関数を追加するような努力は、難しいかもしれない。各々の新しいフィーチャー、または加えられた関数は多くの存在しているフィーチャーと共に相互に作用するかもしれない。そのような相互作用は、状況 （例、デッドロック） システム故障を妨げることの結果となるかもしれない。それに加えて大規模な長生きの分散システムにとって、その拡張を可能とするために、全体のシステムを止めることは、難しい。それゆえ、重要で難しい問題は、影響を及ぼされないシステムの他の部分の処理を中断することなしに、動的に拡張の修正をすることである。我々は反射するオブジェクト指向仕様書言語 (ond) において、仕様行動を拡大するための形式上の方法と、仕様書ダイナミックな発展のための方法論を記述する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The evolution of specifications is necessary to accommodate the evolution of requirements and design decisions during the software development and maintenance process. Among the possible modifications, the addition of new features is an important issue. The effort for adding features to telecommunication system, like adding new functionalities to any large distributed software system might be tremendous. Each new features or added functionality may interact with many existing features. Such interactions may lead to blocking situations (e.g., deadlock) or system breakdown. In addition, for large long-lived distributed systems, it may be not possible to stop the entire system to allow its extension. Therefore, an important and difficult problem is that of making modifications of extensions dynamically, without interrupting the processing of those parts of the system which are not affected. we describe a formal approach for extending specification behaviors, and a methodology for dynamic evolution of specifications in the context of a reflective object-oriented specification language (RMondel).
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10444176
• 書誌情報: 情報処理学会研究報告システムソフトウェアとオペレーティング・システム（OS）; 巻 1994, 号 13(1993-OS-062), p. 81-88, 発行日 1994-01-27
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会