Recomendaciones para lenguajes con soporte nativo (así que no hay herramientas de generación FSM) para el desarrollo de máquinas de estado yejecución y paso de mensajes / señales. Esto es para telecomunicaciones, por ejemplo, implementación de FSM de este nivel de complejidad.

He considerado Erlang, pero me encantarían algunos comentarios, sugerencias, punteros a tutoriales, alternativas, particularmente marcos basados ​​en Java. Tal vez Scala?

Solo código abierto. No estoy buscando soluciones relacionadas con UML o expresiones regulares.

Como esto es para la implementación de protocolos de telecomunicaciones, las FSM pueden no ser triviales. Muchos estados, muchas transiciones, basadas en señales, restricciones de entrada / guardias. La instanciación dinámica sería una ventaja. Las declaraciones de cambio están fuera de cuestión, se anida rápidamente a inutilizable. Apenas es mejor que si / else.

preferiríano Depende del diseño gráfico; el formato FSM descripción debe ser legible / editable / manejable por humanos.

-

He decidido enfocarme en una solución basada en Actor para C ++.

Por ejemplo, el marco Theron proporciona un punto de partidahttp://theron.ashtonmason.net/ y para evitar las declaraciones de cambio en el controlador de eventos basado en FSM, este Marco de plantillas FSM de C ++ parece útilhttp://satsky.spb.ru/articles/fsm/fsmEng.php