YAKINDU_Statechart_Tools
YAKINDUステートチャートツール（YAKINDU SCT）は、有限状態マシンを利用したリアクティブなイベント駆動型システムの仕様と開発のためのツールです。ステートチャートをグラフィカルに編集するためのツールで構成され、さまざまなターゲットプラットフォームおよびプログラミング言語の検証、シミュレーション、およびソースコードジェネレーターを提供します。YAKINDU Statechart Toolsは、標準版とプロフェッショナル版として利用でき、非営利目的のライセンスは無料です。アカデミックな使用法。ユーザーは産業界 と学界の両方から来ています。
YAKINDUステートチャートツール
シミュレーションモードでステートチャートを実行するYAKINDUステートチャートツール
開発者
でYAKINDUチームitemis AG
初回リリース
2008 ; 13年前 （2008）
安定リリース
3.5.5 / 2019年6月18日 ; 2年前 （2019-06-18）
で書かれている Java オペレーティング・システム
クロスプラットフォーム、Microsoft Windows、Linux、macOS用のバイナリが利用可能
プラットホーム
Eclipse ライセンス
独自の、パーツEclipse Public License
Webサイト
www .itemis .com / en / yakindu / statechart-tools /
コンテンツ
1 コンセプト
2 機能性
3 拡張性
4 歴史
4.1 プロフェッショナル版のご紹介 4.2 ライセンスモデルの変更
5 賞
6 文学と情報源
7 外部リンク
8 参考文献
コンセプト
YAKINDUステートチャートツールの概念を実装ステートチャートをによって発明としてデビッド・ハレル1984年にステートチャートが採用されているUML後で。
このソフトウェアは、有限状態マシンのモデル化に使用できます。有限状態マシンの重要な理論モデルは、ミーリマシンとムーアマシンです。YAKINDU Statechart Toolsを使用して、これら両方のタイプをモデル化できます。
機能性
YAKINDU StatechartToolsの主な機能は次のとおりです。
テキストモデリングとグラフィカルモデリングのスマートな組み合わせ
モデル化されたステートマシンの構文的および意味論的検証
シミュレーションエンジンを介した実行可能なステートチャートモデル
Java、C、およびC ++用のソースコードジェネレーター（およびPython、Swift、およびTypeScript用のベータ状態のソースコードジェネレーター）。生成されたステートマシンをカスタムアプリケーションに統合できます。
テストフレームワークSCTUnit
カバレッジ分析（SCov）
拡張性
YAKINDU Statechart ToolsはオープンAPIを提供し、特定の要件への大幅な適応を可能にします。コードジェネレーターは拡張可能であるだけでなく、開発者は、独自のステートチャート方言を指定することもできます。この目的のために、ドメイン固有のステートチャートの概念が定義されています。これにより、ステートチャートを再利用可能な言語モジュールとして使用できるようになります。
歴史
YAKINDU Statechart Toolsの最初のバージョンは、Embeddedの研究プロジェクトMDAの一部として2008年にリリースされました。この研究プロジェクトでは、Eclipseプロジェクトに基づく組み込みシステムの開発のためのモデルベースの開発プロセスが開発されました。2010年半ばから、主にドイツのリューネンにあるitemisAGの従業員で構成されるYAKINDUチームがバージョン2.0に取り組んでいます。最初の公式バージョンは、EclipseバージョンのJunoと一緒にリリースされました。
リリース2.9は、Eclipseバージョン4.5（Mars）および4.6（Neon）と互換性がこのリリース以降、コマンドラインまたはコマンドラインからコードジェネレーターを実行できるようになりました。継続的インテグレーションシステムで。
プロフェッショナル版のご紹介
2016年12月、itemはソフトウェアのプロフェッショナル版を有料でリリースし、追加機能を提供します。
ライセンスモデルの変更
2017年7月のStandardEdition および8月のProfessionalEdition のリリース3.0により、itemはライセンスをオープンソースからプロプライエタリライセンスモデルに変更しました。Standard Editionの非商用ユーザーは、引き続きライセンスを無料で利用できます。アカデミックユーザーは、プロフェッショナル版を無料で入手できます。
YAKINDU Statechart Toolsの最後のオープンソースリリース2.9.3は、YSCTのGitHubリポジトリから引き続き入手できます。
賞
ドイツ– Land of Ideas 2008：組み込みシステム向けのモデルベースの生成ソフトウェア開発
文学と情報源
ミュルダー、アンドレアス; Nyßen、Alexander（2011）。「TMFとGMFの出会い」 （PDF）。Eclipse Magazin（ドイツ語）。フランクフルトアムマイン：Software＆Support Media GmbH（3）：S。74–78。ISSN 1861年から2296年。アーカイブ元 （PDF） 2016年6月20日に。
ミュルダー、アンドレアス; Unger、Andreas（2012）。「YakinduistaucheineStadt」。Eclipse Magazin（ドイツ語）。フランクフルトアムマイン：Software＆Support Media GmbH（3）。ISSN 1861年から2296年。
アレクサンダーナイセン（2011）。「TMFとGMFの出会い–グラフィカルモデリングとテキストモデリングの組み合わせ」。EclipseConヨーロッパから2011年アーカイブ元 （PDF） 2016年6月17日に。
ニッセン、アレクサンダー; Terfloth、Axel（2012）。「YAKINDUSCT–ドメイン固有のステートチャート」。以下からのEclipseCon 2012年アーカイブオリジナル2016年9月15日に。
ターフロス、アクセル（2011-07-12）。「ModellgetriebeneEntwicklungmit der Yakindu Workbench：Vortrag auf dem BAIKEM Netzwerktreffen Embedded Systems」 （PDF）（ドイツ語）。バイエルンイノバティヴ。2016年9月15日にオリジナル （PDF）からアーカイブされました。
外部リンク
プロジェクトホームページ
Githubのソースコード
参考文献
^ ノイマン、アレクサンダー（2009-03-05）。”itemis stellt Statechart-Tools unter dieEclipse-Lizenz”。Heise Developer（ドイツ語）。アーカイブされたオリジナルの2016年6月17日に。
^ 「YAKINDUステートチャートツール（YAKINDU SCT）」。itemisAG 。
^ 「YAKINDUによる改良されたAUTOSARツールチェーン–ケーススタディ：Leopold Kostal GmbH＆Co.KG」。itemisAG。アーカイブされたオリジナルの2016年9月15日に。
^ ステファンマーグ（2013-05-23）。「最終的なセキュリティテスト手法」（PDF）。DIAMONDSコンソーシアム。2017-01-17にオリジナル（PDF、3.91 MB）からアーカイブされました。
^ Maryam Rahmaniheris; Yu Jiang; ルイ・シャ（2016-10-21）。「臨床ガイダンスシステムのモデル駆動設計」。イリノイ大学。arXiv：1610.06895。Bibcode：2016arXiv161006895R。
^ Rafael Mota Gregorut。「ステートチャートテストケースからの正式なプロパティの合成」（PDF）。サンパウロ大学。2017-01-17にオリジナル（PDF、1.35 MB）からアーカイブされました。
^ クローディアピココ; バレンティンリチコフ; Tunc Aldemir。「動的確率論的リスク評価モデルを検証するためのフレームワーク」（PDF）。信頼性工学とシステムの安全性。203 。
^ ハレル、デビッド（1984）。「ステートチャート：複雑系の視覚的形式」（PDF）。コンピュータプログラミングの科学。北ホラント。8（3）：231–274。土井：10.1016 / 0167-6423（87）90035-9。2013-10-12のオリジナルからアーカイブ（PDF）。
^ OMG。「OMG統一モデリング言語（OMG UML）、上部構造バージョン2.2」。NS。525からアーカイブオリジナルの2012年8月13日に。
^ 「チュートリアル：Statechart Editor mit GMFerstellen」。Forschungsprojekt MDA for Embedded（ドイツ語）。itemis AG、IngenieurbüroDr。Kahlert、NachrichtentechnikFHドルトムント。2008-07-16。アーカイブされたオリジナルの2016年6月17日に。
^ Terfloth、アクセル（2017-07-18）。「YAKINDUStatechartTools 3.0StandardEditionの紹介」。itemisAG。2018-01-12にオリジナルからアーカイブされました。
^ ミュルダー、アンドレアス（2017-08-07）。「YAKINDUStatechartTools 3.0 Professional Edition –新しく注目に値する」。itemisAG。2018-01-12にオリジナルからアーカイブされました。
^ 「365Orte：Lünen2008」。Deutschland – Land der Ideen（ドイツ語）。ドイツ– Land der Ideen Management GmbH 2009-03-05。アーカイブされたオリジナルの2016年6月17日に。