並行システムの検証と実装 - 形式手法CSPに基づく高信頼並行システム開発入門

著者名：本位田真一【監修】/東野輝夫【監修】/磯部祥尚

近代科学社（2018/08発売）

• ISBN：9784764904354

内容説明

並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

目次

第1章　CSP, FDR, JCSP概論
第2章　CSP入門
第3章　FDR入門
第4章　JCSP入門
第5章　CSP理論（動作表現）
第6章　CSP理論（動作解析）
第7章　FDR検証
第8章　JCSP実装
第9章　CSP, FDR, JCSP応用
第10章　CSP, FDR, JCSP実践

付録A　インストール方法
付録B　演習問題解答

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[Q]

CSPという形式手法で仕様記述し、仕様が正しいことを検証器で検査し、CSPの使えるJavaライブラリによって実際に実装して実行するまでを手解きしてくれる本。CSPの実践について理解しないまま今まで来てしまったので熟読した。本書ではFDRという検証器を使っているが商用利用禁止なので、ProBツールのCSP-Mを使って試してみた。本書のスクリプトはほぼProBでも動く印象。モデル化は有用だと感じたが詳細化が自分の役に立つのか実感がわかなかった。特に実装において並列度が上がってしまうのは困る場面も多いのでは。

2021/06/14