Paxion Fuente gratuito y abierto BCHI Automata Editor gráfico
Descargar ahora

Paxion Clasificación y resumen

Paxion Etiquetas

editar Interfaz editor gráfico autómata frontal gráfico Editor de autómatas

Paxion Descripción

Editor gráfico de código abierto y abierto BCHI Automata Paxion es un editor gráfico de código abierto y gratuito para BCHI Automata (un tipo especial de autómata estatal finito), escrito en Java. PAXION proporciona una frontest gráfica para varias verificaciones de modelos y se puede utilizar como editor independiente de autómatas. Requisitos: · Java ¿Qué hay de nuevo en este lanzamiento: Nuevas características: · Los conjuntos de aceptación están marcados por círculos de colores (los colores se eligen por el · Usuario) · Los conjuntos de aceptación que pertenecen un estado que pertenecen se enumeran en la pantalla de EditState Corrección de errores: · En Windows, mostrará el menú contextual en un clic derecho en el · Panel de dibujo en lugar de iniciar una selección rectangular · En Windows, no agregará un estado en un clic derecho en lugar de mostrar · El menú contextual ya · Se corrigió un mal comportamiento: el programa no agrega dos puntos cuando el mouse se arrastra al crear una transición (esto le dio la impresión de un doble clic en lugar de un clic normal cuando el mouse no se liberó exactamente en el mismo lugar que fue presionado) Mejoras misc: · No permitir la autoproceso sin punto intermedio · El programa comienza en modo selecto en lugar del modo de estado

Paxion Software relacionado