Yakindu Statechart Tools

Yakindu Statechart Tools

無料で使用できるオープンソースツールキットYAKINDU Statechart Tools(SCT)は、リアクティブなイベント駆動型の仕様と開発のための統合モデリング環境を提供します。
無料で使用できるオープンソースのツールキットであるYAKINDU Statechart Tools(SCT)は、ステートチャートの概念に基づいて、リアクティブなイベント駆動型システムの仕様と開発のための統合モデリング環境を提供します。Yakindu Statechart Tools(SCT)の編集は、グラフィカルな表記とテキスト表記の直観的な組み合わせを特徴としています。状態、遷移、および状態階層はグラフィカル要素ですが、すべての宣言とアクションはテキスト表記を使用して指定されます。ステートチャートエディタの使いやすさは、これらのステートチャートを操作するために最適化されています。検証ステートチャートの検証には、完全なステートチャートの構文およびセマンティックチェックが含まれます。検証の例には、到達不能状態、行き止まり、および未知のイベントへの参照の検出があります。これらの検証制約は、編集中にライブチェックされます。シミュレーション構造検証に加えて、動的なセマンティクスを確認することは非常に重要です。視覚的な検査だけでステートチャートの正確性を判断することはできません。したがって、ユーザーは作業中のステートチャートを実行できる必要があります。統合されたステートチャートシミュレーションエンジンは、これらのニーズに対応します。ユーザーは、モデリング環境内でステートチャートを直接実行できます。アクティブな状態はステートチャートエディターで直接強調表示され、専用のシミュレーションパースペクティブには、実行制御(開始、停止、一時停止、再開)へのアクセス、変数の検査と設定、イベントの発生があります。コード生成Yakindu Statechart Tools(SCT)には、Java、C、C ++のコードジェネレーターが含まれています。コードジェネレーターは「コードのみ」のアプローチに従い、追加のランタイムライブラリに依存しません。生成されたコードは、明確に定義されたインターフェイスを提供し、任意のクライアントコードと簡単に統合できます。また、生成されたコードは読みやすく、非常に効率的な方法で構造化されています
yakindu-statechart-tools

ウェブサイト:

カテゴリー

無料ライセンスですべてのプラットフォームに対応するYakindu Statechart Toolsの代替

GenMyModel

GenMyModel

GenMyModelは、UML、BPMN2、データベース、フローチャートなどのオンラインモデリングプラットフォームです。