Herramientas de la comunidad z

Herramientas para editar, escribir y animar las especificaciones de Z y notaciones relacionadas
Descargar ahora

Herramientas de la comunidad z Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • GPL
  • Precio:
  • FREE
  • Nombre del editor:
  • Mark Utting and Petra Malik
  • Sitio web del editor:

Herramientas de la comunidad z Etiquetas


Herramientas de la comunidad z Descripción

Herramientas para editar, escribir y animar las especificaciones Z y notaciones relacionadas El proyecto Comunidad Z Herramientas (CZT) está construyendo un conjunto de herramientas para editar, escribir y animar las especificaciones formales escritas en el idioma de la especificación de Z, con algunos soportes para extensiones z como Object-Z y TCOZ. Estas herramientas están diseñadas utilizando el marco de Java CZT para las herramientas Z. El idioma de la especificación Z se adoptó como una norma ISO en 2002. El proyecto se puede utilizar para especificar con precisión los requisitos o el comportamiento de los sistemas. y analice ese comportamiento a través de la prueba, la animación, la generación de pruebas, etc. Sin embargo, una de las barreras más grandes del uso generalizado del lenguaje de la especificación Z parece ser el tema del soporte de herramientas. Los proyectos de MANY han construido las herramientas Z, parte de la calidad del producto , más como proyectos de estudiantes. Pocos de ellos están integrados entre sí; Pocos apoyan toda la nueva norma ISO; Menos aún se construyen juntos para formar el tipo de entorno integrado que los desarrolladores están empezando a esperar. Muchas buenas ideas se han desarrollado para la etapa de prototipo, y luego se han perdido a medida que los proyectos han terminado y los estudiantes o investigadores se han movido. El número de veces que surge una solicitud de un analizador de Z en el grupo de noticias de Z sugiere que muchas personas están produciendo herramientas, la mayoría de las cuales nunca se verá fuera de su propio instituto. Un esfuerzo integrado avanzará el estado de las herramientas y, por lo tanto, la recogida de z. Nuestros objetivos es fomentar el intercambio entre las herramientas Z existentes (a través de un formato de intercambio XML estándar para Z), y para proporcionar bibliotecas de código abierto para la construcción. e integrando nuevas herramientas Z. El software que estamos construyendo / incluirá: 1. Una marca de esquema XML para Z. Vea los procedimientos ZB2003 para un documento que describe este marcado.2. Clases de Java para árboles de sintaxis anotados de Z (AST) .3. Clases de Java para convertir entre XML y Java AST.4. Bibliotecas de Java para las operaciones comunes necesarias en cada herramienta Z (marcadores, convertidores, analizador, comprobador tipo, expansión de esquema, etc.). Un documento que describe estos se presentará en ZB2005.5. Uno o más editores gráficos simples, con instalaciones para ingresar fácilmente a los símbolos especiales de Unicode. Inicialmente estamos usando JEDIT.6. Una herramienta de animación Z llamada Zlive, con una interfaz gráfica personalizable de usuario.7. Herramientas de exportación, para emitir z en otras notaciones o para otras herramientas Z. (Ejemplo, salida HTML, salida de látex, traducción a B y JML) .8. Versiones extendidas de las bibliotecas y herramientas para admitir extensiones z como Object-Z y TCOZ. ¿Qué hay de nuevo en este lanzamiento: · Esta versión es una instantánea de todas las herramientas de CZT que están actualmente en desarrollo, incluidas las herramientas para los idiomas de especificación de Z, Object-Z y Circus Formal. · CZT_1_5_0_bin.jar es una liberación binaria de CZT, que se puede usar como programa GUI o un programa de línea de comandos. Por ejemplo: · 1. Haga clic en el archivo .jar para abrir la GUI de CZT. · 2. O haz 'java -jar czt_1_5_0_bin.jar' para abrir la GUI de CZT. · 3. Do 'java -jar czt_1_5_0_bin.jar --help' para usar la interfaz de línea de comandos. · CZT_1_5_0_EClipse_plugin.zip es un complemento de CZT para Eclipse 3.4. Para instalarlo, simplemente descomprima este archivo .zip en su carpeta Eclipse de alto nivel (la que contiene los directorios 'Funciones' y 'Complementos'), luego reinicie Eclipse. · El comando 'File / New / Otro ... / CZT / OTRO ... / CZT / CZT' se puede usar para crear un nuevo proyecto CZT, y luego 'File / New / Z Especificación' para crear las especificaciones de Z. Hay un manual de CZT en la página de Eclipse 'Ayuda / Ayuda' '. · También debe instalar la siguiente fuente CZT. · CZTSANS_1_5_0.TTF es una fuente de Bitstream Vera con todos los caracteres Unicode para Z Añadido. Debe instalarlo en su sistema para que los editores Eclipse y Jedit puedan mostrar los caracteres de Unicode correctos para Z. ADVERTENCIA: En los sistemas de Windows, esta fuente puede hacer que algunos programas de Microsoft se bloqueen, por ejemplo,. Visual Studio Form Form Designer ofrece un error de acceso de memoria ilegal si esta fuente está instalada en el sistema. · CZT_1_5_0_src.zip contiene todos los archivos de origen de CZT, incluida la información de SVN. Para compilarlo, necesitará una versión reciente de Java y Maven. Consulte el archivo Install.txt para más detalles.


Herramientas de la comunidad z Software relacionado