8
Voľne použiteľný, otvorený zdrojový balík nástrojov YAKINDU Statechart Tools (SCT) poskytuje integrované modelovacie prostredie pre špecifikáciu a vývoj reaktívnych systémov založených na udalostiach založených na koncepcii štátnych diagramov.Úpravy nástrojov Yakindu Statechart Tools (SCT) obsahujú intuitívnu kombináciu grafického a textového zápisu.Zatiaľ čo stavy, prechody a stavové hierarchie sú grafickými prvkami, všetky vyhlásenia a akcie sa určujú pomocou textového zápisu.Použiteľnosť editora stavových máp je optimalizovaná pre prácu s týmito stavovými diagramami.Validácia Validácia stavových diagramov zahŕňa syntax a sémantické kontroly úplného stavového diagramu.Príkladom validácie je detekcia nedosiahnuteľných stavov, slepých uličiek a odkazy na neznáme udalosti.Tieto obmedzenia validácie sú počas úprav aktívne kontrolované.Simulácia Okrem štrukturálnej validácie je rozhodujúca aj kontrola dynamickej sémantiky.Nie je možné určiť správnosť stavového diagramu iba vizuálnym preskúmaním.Užívateľ musí byť teda schopný vykonať stavové diagramy, na ktorých pracuje.Integrovaný simulačný engine statechart sa venuje týmto potrebám.Užívateľ môže vykonávať stavové mapy priamo v prostredí modelovania.Aktívne stavy sú priamo zvýraznené v editore stavových diagramov a vyhradená perspektíva simulácie obsahuje prístup k ovládacím prvkom vykonávania (štart, zastavenie, pauza, obnovenie), inšpekčným a nastavovacím premenným, ako aj k zvyšovaniu udalostí.Generovanie kódu Yakindu Statechart Tools (SCT) obsahuje generátory kódu pre Java, C a C ++.Generátory kódu sa riadia prístupom „iba na kód“ a nespoliehajú sa na žiadnu dodatočnú knižnicu runtime.Vygenerovaný kód poskytuje dobre definované rozhranie a môže byť ľahko integrovaný s akýmkoľvek kódom klienta.Generovaný kód je tiež čitateľný a štruktúrovaný takým spôsobom, ktorý umožňuje veľmi efektívnosť