NeO に基づく並行システム解析・設計のための支援システムの開発

概要

論文の詳細を見る
並行システムの解析・設計を行うためには,対象システムがもつ非決定性を含めたままでモデル化し,そのモデルのもとで非決定性の解消がおよぼす影響を解析的に,あるいはシミュレーションによって検討することが必要である.そして,これら一連の解析・設計を支援することのできる処理系の開発が課題とされていた.そこで,本論文では著者らによって開発が進められている並行システムモデルNeOに時間の概念を導入した時間NeOに基づいて並行システムの解析・設計を行うこととし,解析可能な形式性と視覚的プログラミング言語としての実行可能性をもってNeO言語の開発と,並行システムの解析・設計を支援するために処理系の開発を行った.開発した支援システムは次の特徴をもつものである.1)プログラムの作成,実行,デバッグが視覚的なプログラミング環境のもとで行える.2)プログラミングは対話形式で行われ,対話の基本は,「オブジェクト(プログラム要素)へメッセージ(コマンド)を送る」という方式による.3)システムの構造的な性質を解析することができる.4)シミュレーション過程の後戻りが可能であり,非決定的な処理の検討が行える.5)システムの解析・設計はオブジェクトごと独立に行うことができる.開発した支援システムを製鋼プロセスの運用方策検討に適用し所期の動作が得られることを展認した.
一般社団法人情報処理学会の論文
1993-05-15

NeO に基づく並行システム解析・設計のための支援システムの開発

スポンサーリンク

概要

著者

関連論文

スポンサーリンク