Recomendações para idiomas com suporte nativo (portanto, sem ferramentas de geração de FSM) para o desenvolvimento de máquinas de estado eexecução e passagem de mensagens / sinais. Isto é para telecomunicações, por exemplo, implementação de FSMs deste nível de complexidade.

Eu considerei Erlang, mas adoraria algum feedback, sugestões, apontadores para tutoriais, alternativas, particularmente frameworks baseados em Java. Talvez Scala?

Apenas código aberto. Eu não estou procurando soluções relacionadas UML ou expressão regular.

Como isto é para a implementação de protocolos de telecomunicações, os FSMs podem ser não-triviais. Muitos estados, muitas transições, baseadas em sinal, restrições de entrada / proteções. Instanciação dinâmica seria um plus. Switch afirmações estão fora de questão, rapidamente nelas para inutilizável. É pouco melhor que se / senão.

Eu preferirianão dependem de design gráfico; a descrição do formato FSM deve ser legível / editável / gerenciável por humanos.

-

Eu decidi me concentrar em uma solução baseada em Ator para C ++

Por exemplo, a estrutura Theron fornece um ponto de partidahttp://theron.ashtonmason.net/ e para evitar instruções switch no manipulador de eventos baseado em FSM, essa Estrutura de Modelo C ++ FSM parece útilhttp://satsky.spb.ru/articles/fsm/fsmEng.php