YAKINDU Statechart ツール

YAKINDU Statechart Tools (YAKINDU SCT)は、有限状態機械を使用してリアクティブでイベント駆動型のシステムの仕様と開発を行うためのツールです^{[ 1 ]}。ステートチャートのグラフィカル編集ツールを備え、さまざまなターゲットプラットフォームとプログラミング言語の検証、シミュレーション、ソースコードジェネレータを提供します。YAKINDU Statechart Tools には、標準版とプロフェッショナル版があり、非商用または学術用途には無償ライセンスが提供されています^{[ 2 ] 。ユーザーは、産業界[ 3 ] [ 4 ]}と学術界^{[ 5 ] [ 6 ] [ 7 ]}の両方から来ています。

YAKINDU Statechart Tools は、 1984 年にDavid Harelによって考案されたステートチャートの概念を実装しています。^{[ 8 ]}ステートチャートは後にUML に採用されました。^{[ 9 ]}

このソフトウェアは、有限状態機械のモデリングに使用できます。有限状態機械の重要な理論モデルとしては、ミーリー機械とムーア機械が挙げられます。YAKINDU Statechart Toolsは、これら両方のタイプのモデリングに使用できます。

YAKINDU Statechart Toolsの主な機能は以下のとおりです。

• テキストモデリングとグラフィックモデリングの巧みな組み合わせ
• モデル化された状態機械の構文的および意味的検証
• シミュレーションエンジンを介した実行可能なステートチャートモデル
• Java、C、C++用のソースコードジェネレーター（さらに Python、Swift、TypeScript 用のベータ版ソースコードジェネレーターも提供）により、生成されたステートマシンをカスタムアプリケーションに統合できます。
• テストフレームワークSCTUnit
• カバレッジ分析（SCov）

YAKINDU Statechart ToolsはオープンAPIを提供しており、特定の要件に合わせて柔軟に対応できます。コードジェネレーターを拡張できるだけでなく、開発者は独自のステートチャート方言を指定することも可能です。そのため、ドメイン固有のステートチャートという概念が定義されています。これにより、ステートチャートを再利用可能な言語モジュールとして使用できるようになります。

YAKINDU Statechart Tools の最初のバージョンは、MDA for Embedded研究プロジェクトの一環として 2008 年にリリースされました。^{[ 10 ]}この研究プロジェクトでは、Eclipse プロジェクトをベースとした組み込みシステムの開発のためのモデルベースの開発プロセスが開発されました。2010 年半ば以降、主にドイツのリューネンにあるitemis AGの従業員で構成される YAKINDU チームは、バージョン 2.0 の開発に取り組んできました。最初の公式バージョンは、 Eclipse のバージョン Junoとともにリリースされました。

• リリース2.9は、Eclipseバージョン4.5（Mars）および4.6（Neon）と互換性があります。このリリース以降、コマンドラインまたは継続的インテグレーションシステムからコードジェネレーターを実行できるようになりました。

• ドイツ – アイデアの国 2008: 組み込みシステム向けモデルベースの生成ソフトウェア開発^{[ 13 ]}

• Mülder, Andreas; Nyßen, Alexander (2011). "TMF meets GMF" (PDF) . Eclipse Magazin (ドイツ語) (3). Frankfurt am Main: Software & Support Media GmbH: pp. 74–78. ISSN 1861-2296 . 2016年8月11日のオリジナルからアーカイブ(PDF) . 2016年6月20日取得. 
• アンドレアス・ミュルダー。ウンガー、アンドレアス (2012)。 「ヤキンドゥ・イスト・オーシュ・アイネ・シュタット」。Eclipse Magazine (ドイツ語) (3)。フランクフルト・アム・マイン: Software & Support Media GmbH。ISSN 1861-2296。 
• Alexander Nyßen (2011). "TMF meets GMF – グラフィカルモデリングとテキストモデリングの組み合わせ" (PDF) . EclipseCon Europe 2011. 2016年8月8日のオリジナルからアーカイブ済み。 2016年6月17日取得。
• Nyßen, Alexander; Terfloth, Axel (2012). "YAKINDU SCT – ドメイン固有のステートチャート" . EclipseCon 2012. 2016年9月16日のオリジナルからアーカイブ。 2012年9月15日取得。
• ターフロス、アクセル (2011-07-12)。「Yakindu ワークベンチのモデル: BAIKEM Netzwerktreffen Embedded Systems の構築」(PDF) (ドイツ語)。バイエルン・イノベーティブ。2016 年 9 月 16 日にオリジナルからアーカイブ(PDF)されました。2016 年 9 月 15 日に取得。

• プロジェクトホームページ
• ソースコードはGitHubにあります