Alternative a Yakindu Statechart Tools

Yakindu Statechart Tools Panoramica

Il toolkit open source gratuito YAKINDU Statechart Tools (SCT) fornisce un ambiente di modellazione integrato per la specifica e lo sviluppo di sistemi reattivi guidati da eventi basati sul concetto di statechart.

La modifica
Yakindu Statechart Tools (SCT) presentano una combinazione intuitiva di notazione grafica e testuale. Mentre stati, transizioni e gerarchie di stati sono elementi grafici, tutte le dichiarazioni e le azioni sono specificate usando una notazione testuale. L'usabilità dell'editor di statechart è ottimizzata per lavorare con questi statechart.

Validazione
La convalida degli statechart include sintassi e controlli semantici del grafico di stato completo. Esempi di convalide sono il rilevamento di stati non raggiungibili, vicoli ciechi e riferimenti a eventi sconosciuti. Questi vincoli di validazione vengono controllati dal vivo durante la modifica.

Simulazione
Oltre alla validazione strutturale, il controllo della semantica dinamica è cruciale. Non è possibile determinare la correttezza di uno statechart solo mediante esame visivo. Pertanto, l'utente deve essere in grado di eseguire le statistiche su cui sta lavorando. Il motore di simulazione statechart integrato risponde a queste esigenze. L'utente può eseguire statechart direttamente all'interno dell'ambiente di modellazione. Gli stati attivi sono evidenziati direttamente nell'editor statechart e una prospettiva di simulazione dedicata offre l'accesso ai controlli di esecuzione (avvio, arresto, pausa, ripresa), ispezione e impostazione delle variabili, nonché alla raccolta di eventi.

Generazione di codice
Yakindu Statechart Tools (SCT) include generatori di codice per Java, C e C ++. I generatori di codice seguono un approccio 'solo codice' e non si basano su alcuna libreria di runtime aggiuntiva. Il codice generato fornisce un'interfaccia ben definita e può essere facilmente integrato con qualsiasi codice client. Il codice generato è anche leggibile e strutturato in modo tale da consentire un'efficienza molto elevata

Mostra di più