Alternatives à Yakindu Statechart Tools

Yakindu Statechart Tools Description

La trousse à outils libre et à usage libre YAKINDU Statechart Tools (SCT) fournit un environnement de modélisation intégré pour la spécification et le développement de systèmes réactifs, pilotés par les événements, basés sur le concept de statecharts.

Édition
Yakindu Statechart Tools (SCT) propose une combinaison intuitive de notation graphique et textuelle. Bien que les états, les transitions et les hiérarchies d'états soient des éléments graphiques, toutes les déclarations et actions sont spécifiées à l'aide d'une notation textuelle. La facilité d'utilisation de l'éditeur d'états statistiques est optimisée pour utiliser ces graphiques statistiques.

Validation
La validation des statecharts inclut des vérifications syntaxiques et sémantiques du tableau d'états complet. Des exemples de validations sont la détection des états inaccessibles, des impasses et des références à des événements inconnus. Ces contraintes de validation sont vérifiées en direct lors de l'édition.

Simulation
Outre la validation structurelle, la vérification de la sémantique dynamique est cruciale. Il n’est pas possible de déterminer l’exactitude d’un état statistique par simple examen visuel. Ainsi, l'utilisateur doit pouvoir exécuter les statecharts sur lesquels il travaille. Le moteur de simulation d'états statistiques intégré répond à ces besoins. L'utilisateur peut exécuter des statistiques directement dans l'environnement de modélisation. Les états actifs sont directement mis en surbrillance dans l'éditeur d'états. Une perspective de simulation dédiée permet d'accéder aux contrôles d'exécution (démarrage, arrêt, pause, reprise), aux variables de contrôle et de paramétrage, ainsi qu'aux événements de levée.

Génération de code
Yakindu Statechart Tools (SCT) inclut des générateurs de code pour Java, C et C ++. Les générateurs de code suivent une approche «code uniquement» et ne s'appuient sur aucune bibliothèque d'exécution supplémentaire. Le code généré fournit une interface bien définie et peut être facilement intégré à n’importe quel code client. Le code généré est également lisible et structuré de manière à permettre des effets très efficaces.

Afficher plus