StateSim

StateSim es un prototipo simulador de Statecharts fácil de instalar, ejecutar y usar y que contempla la mayor parte del formalismo.

La aplicación está desarrollada en Java por lo que corre virtualmente sobre cualquier plataforma.

Los Statecharts pueden generarse en OpenOffice Draw. StateSim toma un archivo ODG y una secuencia de eventos indicada por el usuario, calcula todas las transiciones de estados y genera un nuevo archivo ODG en el cual se señalan los estados finales alcanzados.

Los requerimientos bajo entorno Linux son los siguientes:

• Open Office 2.3.0 o superior
• Java SE Runtime Environment 1.6 o superior
• Acceso a través de la variable PATH a los binarios: cp, mv, rm, zip y unzip

Bajo entorno MS Windows los requerimientos son:

• Open Office 2.3.0 o superior
• Java SE Runtime Environment 1.6 o superior
• Acceso a través de la variable PATH a los binarios copy, move, del, rd y 7z.exe (puede descargarse gratuitamente desde http://www.7-zip.org.)

La herramienta se instala descomprimiendo el archivo stateSim.tar.gz.

La distribución incluye un documento (ManualUsuarioYProgramador.pdf) que describe la herramienta y su forma de uso.

Descargar