[[Fukunaga Lab Wiki]]

「並行システムのモデル化・検証・実装」
本位田真一 監修 磯部祥尚 著

を読み進めていく。


第一回

2014/04/15(火)
第一章 FDR , CSP , JCSP 概論

主にこれから学んでいく、モデル検査器FDR,プロセス代数CSP,JAVAライブラリJCSPについて見た。

プロセス代数では、複雑なプロセスでも、イベントの実行可能性に着目した等価性を考えることで、わかりやすい逐次的なプロセスと等価であると示すことで、どのようなプロセスかを判別することができる。

FDRやJCSPの使い方を見た。

[[スライド(pptxファイル):http://tmubdell.math.se.tmu.ac.jp/wiki/M_ZEMI_DATA_2014/0415_M_Zemi.pptx]]

第二回

2014/04/22(火)
第二章 CSP検証の基礎

第一章では曖昧だった等価性の意味を明確に定義し、新しい概念である詳細化関係についても学んだ。
実際にFDRを用いて検証した。

[[スライド(pptxファイル):http://tmubdell.math.se.tmu.ac.jp/wiki/M_ZEMI_DATA_2014/0422_M_Zemi_Nishimura.pptx]]



第三回

2014/04/29 (火)
第三章 CSP実装の基礎

JCSPプログラミングの基礎となるチャネルについて、実際にJCSPによる実装で検証した.

[[スライド(pptxファイル):http://tmubdell.math.se.tmu.ac.jp/wiki/M_ZEMI_DATA_2014/0429_M_Zemi.pptx]]


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS