Alternativas ao Yakindu Statechart Tools

Yakindu Statechart Tools Visão geral

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.

Edição
As Ferramentas do Statechart da Yakindu (SCT) apresentam 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 de statecharts 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

Mostrar mais