Das kostenlos nutzbare Open-Source-Toolkit YAKINDU Statechart Tools (SCT) bietet eine integrierte Modellierungsumgebung für die Spezifikation und Entwicklung reaktiver, ereignisgesteuerter Systeme auf der Grundlage von Zustandsdiagrammen.Das Bearbeiten von Yakindu Statechart Tools (SCT) bietet eine intuitive Kombination aus grafischer und textueller Notation.Während Status, Übergänge und Statushierarchien grafische Elemente sind, werden alle Deklarationen und Aktionen in einer Textnotation angegeben.Die Benutzerfreundlichkeit des Zustandsdiagramm-Editors ist für die Arbeit mit diesen Zustandsdiagrammen optimiert.Validierung Die Validierung von Zustandsdiagrammen umfasst Syntax- und Semantikprüfungen des gesamten Zustandsdiagramms.Beispiele für Validierungen sind das Erkennen von nicht erreichbaren Zuständen, Sackgassen und Verweisen auf unbekannte Ereignisse.Diese Validierungsbeschränkungen werden während der Bearbeitung live überprüft.Simulation Neben der strukturellen Validierung ist die Überprüfung der dynamischen Semantik von entscheidender Bedeutung.Es ist nicht möglich, die Richtigkeit eines Zustandsdiagramms nur durch visuelle Prüfung zu bestimmen.Der Benutzer muss also in der Lage sein, die Zustandsdiagramme auszuführen, an denen er arbeitet.Die integrierte Statechart-Simulations-Engine erfüllt diese Anforderungen.Der Benutzer kann Zustandsdiagramme direkt in der Modellierungsumgebung ausführen.Aktive Zustände werden direkt im Zustandsdiagramm-Editor hervorgehoben. Eine spezielle Simulationsperspektive bietet Zugriff auf Ausführungssteuerelemente (Start, Stopp, Pause, Wiederaufnahme), Prüf- und Einstellungsvariablen sowie das Auslösen von Ereignissen.Codegenerierung Die Yakindu Statechart Tools (SCT) enthalten Codegeneratoren für Java, C und C ++.Die Codegeneratoren folgen einem Nur-Code-Ansatz und sind nicht auf eine zusätzliche Laufzeitbibliothek angewiesen.Der generierte Code bietet eine klar definierte Schnittstelle und kann problemlos in jeden Client-Code integriert werden.Der generierte Code ist auch lesbar und so strukturiert, dass er sehr effizient ist