分散システム仕様を検査する意味論的振る舞い

スポンサーリンク

概要

• 論文の詳細を見る

• 分散システムをモデル化し仕様化するタスクは、2つの主要な段階に分けることができる。最初に、システムアーキテクチャは、構造的側面に位置づけられる。次に、システムの振る舞いは、システムコンポーネントを実行する可視的なアクションのシーケンスを定義する。過去の研究成果では、時相論理を形式化することにより、いかにして静的アーキテクチャがモデル化され、仕様化され、更新されるかを示した。本論では、分散システムのアーキテクチャを動的に進化させるいくつかの側面を汎化することを示す。

• 一般社団法人情報処理学会の論文
• 1995-05-31

著者

• ハミド アイサム.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
• 分散システム仕様の動的進化に対する枠組オブジェクトふるまいの専門化と必要条件仕様記述
• 分散システム仕様の動的進化に対する枠組
• 分散システム行動のダイナミックな拡張のための形式上の骨組み
• 芸術と科学の融合を目指した新しい統合化教育システムの構築
• オブジェクト指向技術を用いた分散システムの動的モデル化と解析

もっと見る 閉じる

スポンサーリンク