カリキュラムモデル
分類番号 I411-108-4
| 訓練分野 | 情報・通信系（I） |
|---|---|
| 訓練コース | ＣＳＰ理論に基づくプログラム設計とモデル検証 |
| 訓練対象者 | ソフトウェア設計に携わる方 |
| 訓練目標 | ＣＳＰによる動作モデルの記述からその検証方法、更にはＣＳＰモデルライブラリーによるプログラミング技術までの一貫した設計手法について実習し、これによりプログラムのモデル設計に際して、ＳＷＥＢＯＫ（ソフトウェア工学）のガイドラインに沿ったＣＳＰによる形式手法を習得する。 |
| 教科の細目 | 内容 | 訓練時間（H） |
|---|---|---|
| １．プロセス代数について | （１）形式手法とＳＷＥＢＯＫにおけるＣＳＰの位置 （２）ＣＳＰプロセスの理解 （イベント、アルファベット、チャネル入出力、その他） （３）並列アルゴリズムへの適用 （４）ＣＳＰ記述による応用例 （５）演習 |
6 |
| ２．ＵＭＬとＣＳＰプロセスの関係 | （１）ＵＭＬ表記とＣＳＰモデルの対応 （２）演習 |
1 |
| ３．モデルの検証 | （１）ＳＰＩＮを使うための言語Ｐｒｏｍｅｌａの理解 （２）Ｐｒｏｍｅｌａを使ったモデルのチェック方法 （３）ＬＴＳＡを使ったラベル状態遷移の理解 （４）ＳＰＩＮ／ＬＴＳＡを使った検証方法 （５）演習 |
5 |
| ４．プロセス指向＋オブジェクト指向によるプログラミング方法 | （１）ＣＳＰモデルとｏｃｃａｍプログラミングの対応 （２）ｏｃｃａｍプログラムのコンストラクタの理解 （３）ＪＣＳＰプログラミング （４）Ｃ＋＋ＣＳＰプログラミング （５）ＲＴＯＳの並列処理との比較点 （６）演習 |
5.5 |
| ５．確認・評価 | （１）コース全体についての確認および講評 | 0.5 |
| 訓練時間合計 | 18 |
| 使用器具等 | モデル検証ツール、ＪＣＳＰ／Ｃ＋＋ＣＳＰライブラリ |
|---|