動的再構成システムの仕様化とそのシミュレータ
スポンサーリンク
概要
- 論文の詳細を見る
計算機ネットワークなどの分散並行システムにおいては, リンクを経由してシステム構成要素間で通信が行われ, 所望の分散アプリケーションが達成される. リンクが静的ではなく, 動的に構成・確立されるのであれば, システムは動的再構成システムとして複雑さを呈することになる. 本稿では, システム構成要素を有限状態機械の概念でモデル化し, それらが動的にリンクを確立・解消しながら並行実行するような動的再構成システムの形式的仕様化を与える. 同時に, 作成されたシステム仕様の挙動を確認し, 設計の検証を可能とするシミュレータの設計と実現について述べる.
- 社団法人電子情報通信学会の論文
- 1996-09-24