O kit de ferramentas de código aberto de uso livre YAKINDU Statechart Tools (SCT) fornece um ambiente de modelagem integrado para a especificação e o desenvolvimento de sistemas reativos orientados a eventos com base no conceito de gráficos de estados.A edição do Yakindu Statechart Tools (SCT) apresenta uma combinação intuitiva de notação gráfica e textual.Enquanto estados, transições e hierarquias de estados são elementos gráficos, todas as declarações e ações são especificadas usando uma notação textual.A usabilidade do editor do statechart é otimizada para trabalhar com esses statecharts.Validação A validação dos gráficos de estado inclui verificações de sintaxe e semântica do gráfico de estado completo.Exemplos de validações são a detecção de estados inacessíveis, becos sem saída e referências a eventos desconhecidos.Essas restrições de validação são verificadas ao vivo durante a edição.Simulação Além da validação estrutural, a verificação da semântica dinâmica é crucial.Não é possível determinar a correção de um gráfico de estados apenas pelo exame visual.Portanto, o usuário deve ser capaz de executar os gráficos de estados nos quais está trabalhando.O mecanismo de simulação de gráfico de estados integrado atende a essas necessidades.O usuário pode executar gráficos de estados diretamente no ambiente de modelagem.Os estados ativos são destacados diretamente no editor de gráfico de estados e uma perspectiva de simulação dedicada apresenta acesso a controles de execução (iniciar, parar, pausar, retomar), variáveis ​​de inspeção e configuração, além de gerar eventos.Geração de código O Yakindu Statechart Tools (SCT) inclui geradores de código para Java, C e C ++.Os geradores de código seguem uma abordagem 'somente código' e não dependem de nenhuma biblioteca de tempo de execução adicional.O código gerado fornece uma interface bem definida e pode ser facilmente integrado a qualquer código do cliente.O código gerado também é legível e estruturado de forma a permitir uma eficiência muito