CSPモデルの優位性 産業技術総合研究所 情報技術研究部門 磯部祥尚 1 第9回CSP研究会(2012年3月17日) 0:40 講演内容 2 1. CSPモデルの特徴 CSPモデルとは? 同期型メッセージパッシング通信 イベント駆動 通信相手(チャネル)の自動選択 2. CSPモデルの実装 ライブラリ/言語 CSPモデルの実装例 ローカル/ネットワークチャネル 3. CSPモデルの検証 CSPモデルの記述例 検証ツール 振舞いの等しさ 4. CSPモデルベース開発 並列プログラミングの難しさ CSPによるモデル化、検証、実装 まとめ 理論 CSP 検証 FDR 実装 JCSP 1:20 CSPモデルの特徴 3 CSPモデルとは? 同期型メッセージパッシング通信 イベント駆動 通信相手(チャネル)の自動選択 1:20 P1