Additional slide to Nagase san's Line-Tracer example

1. Yakinduによる状態遷移 シミュレーション
田中
ビューファイブ LLC
2016/05/13

2. Yakindu とは?
• オープンソースの Statechart ツール
– h9ps://www.itemis.com/en/yakindu/statechart-tools/
補足) itemis 社は Xtext の開発元であり、内部的に Xtext を利用しています

3. 特徴
h9ps://www.itemis.com/en/yakindu/statechart-tools/
編集機能 チェック検証機能 シミュレーション機能 コード生成機能

4. ツールを使うための情報
• DocumentaHon
– h9ps://www.itemis.com/en/yakindu/statechart-tools/documentaHon/
• Comprehensive tutorial
– h9ps://www.itemis.com/en/yakindu/statechart-tools/documentaHon/
tutorials
• Video Tutorials by Prof. Tom Mens
– h9ps://www.youtube.com/watch?
list=PLmHMvhX5wK_aohX5sOeAMogFDwlc3gJYR&v=bhru1n3ZsFo
• Slideshare
– “Yakindu” で検索すれば幾つかヒットします（例えばこれ）
私は最初にこのビデオチュートリアルを見ました
とても丁寧に解説されています（英語ですが）

5. YAKINDU SCT
起動
File | New | Project | Java Project
New | Other | YAKINDU SCT | Statechart Model

6. 例題
• Yakindu Tool 説明用（Hello World 相当）の例題
– mode ボタンで ready/running の状態が切り替わる device 用
• シミュレーションの例題
– シンプルな Line Tracer 用

7. DEMO

9. ツールの使いどころ
• システム要素の動的な振る舞いを状態遷移モデルで表現す
る場合で
– 早い段階にモデルの妥当性を確認したい場合（シミュレーションを目
的と考える場合）
– 状態遷移モデルを中心にモデルベースのシステム開発を行いたい場
合（シミュレーションだけでなくコード生成まで期待する場合）
など、でしょうか
ぜひお試しください