Yakinduによる状態遷移 シミュレーション

田中

ビューファイブLLC2016/05/13

Yakindu とは?

•  オープンソースの Statechartツール–  h9ps://www.itemis.com/en/yakindu/statechart-tools/

補足)itemis 社はXtextの開発元であり、内部的に Xtextを利用しています

特徴

h9ps://www.itemis.com/en/yakindu/statechart-tools/

編集機能 チェック検証機能 シミュレーション機能 コード生成機能

ツールを使うための情報

•  DocumentaHon–  h9ps://www.itemis.com/en/yakindu/statechart-tools/documentaHon/

•  Comprehensivetutorial–  h9ps://www.itemis.com/en/yakindu/statechart-tools/documentaHon/

tutorials

•  VideoTutorialsbyProf.TomMens–  h9ps://www.youtube.com/watch?

list=PLmHMvhX5wK_aohX5sOeAMogFDwlc3gJYR&v=bhru1n3ZsFo

•  Slideshare–  “Yakindu” で検索すれば幾つかヒットします（例えばこれ）

私は 初にこのビデオチュートリアルを見ましたとても丁寧に解説されています（英語ですが）

YAKINDUSCT

起動

File|New|Project|JavaProject

New|Other|YAKINDUSCT|StatechartModel

例題

•  YakinduTool 説明用（HelloWorld相当）の例題–  mode ボタンでready/runningの状態が切り替わるdevice 用

•  シミュレーションの例題

–  シンプルなLineTracer用

DEMO

ツールの使いどころ

•  システム要素の動的な振る舞いを状態遷移モデルで表現する場合で–  早い段階にモデルの妥当性を確認したい場合（シミュレーションを目

的と考える場合）–  状態遷移モデルを中心にモデルベースのシステム開発を行いたい場

合（シミュレーションだけでなくコード生成まで期待する場合）

など、でしょうかぜひお試しください