Community Z Tools.

Ferramentas para edição, tipoChecking e Animating Z Especificações e notações relacionadas
Download

Community Z Tools. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Preço:
  • FREE
  • Nome do editor:
  • Mark Utting and Petra Malik
  • Site do editor:

Community Z Tools. Tag


Community Z Tools. Descrição

Ferramentas para edição, tipoChecking e animação Z Especificações e notações relacionadas O projeto do Community Z Tools (CZT) está construindo um conjunto de ferramentas para edição, tipografia e animar especificações formais escritas na linguagem de especificação Z, com algum suporte para extensões Z, como Object-Z e TCOZ. Essas ferramentas são construídas usando o CZT Java Framework for Z Tools. A linguagem de especificação Z foi adotada como um padrão ISO em 2002. O projeto pode ser usado para especificar com precisão os requisitos ou comportamento dos sistemas e analise esse comportamento através da prova, animação, geração de testes etc. No entanto, uma das maiores barreiras ao uso generalizado da linguagem de especificação Z parece ser a questão do suporte da ferramenta.Muitos projetos construíram ferramentas Z, algumas de qualidade do produto , mais como projetos estudantis. Poucos deles são integrados uns com os outros; poucos apoiam todo o novo padrão ISO; Menos ainda se tornam juntos para formar o tipo de ambiente integrado que os desenvolvedores estão começando a esperar. Muitas ideias foram desenvolvidas para o estágio de protótipo, e depois foram perdidos como projetos terminaram e os alunos ou pesquisadores seguiram em frente. O número de vezes que uma solicitação para um analisador Z surge no Z Newsgroup sugere muitas pessoas estão produzindo ferramentas, a maioria das quais nunca será vista fora de seu próprio instituto. Um esforço integrado avançará o estado das ferramentas e, assim, a aceitação de Z. Nossos objetivos é para incentivar o intercâmbio entre as ferramentas Z existentes (através de um formato de intercâmbio XML padrão para Z), e para fornecer bibliotecas de código aberto para construção e integrar novas ferramentas Z. O software que estamos construindo / vai incluir: 1. Uma marcação do esquema XML para Z. Consulte o processo ZB2003 para um documento descrevendo esta marcação.2. Classes Java para árvores de sintaxas anotadas Z (AST) .3. Classes Java para conversão entre XML e Java Ast.4. Bibliotecas Java para as operações comuns necessárias em todas as ferramentas Z (conversores de marcação, parser, digitação, expansão do esquema etc.). Um papel descrevendo estes serão apresentados no ZB2005.5. Um ou mais editores gráficos simples, com instalações para inserir facilmente os símbolos Special Z Unicode. Inicialmente, estamos usando o JEDIT.6. Uma ferramenta de animação Z chamada Zlive, com uma interface de usuário gráfica customizável.7. Exportar ferramentas, para produzir z em outras notações ou para outras ferramentas Z. (Exemplo, saída HTML, saída de látex, tradução para B e JML) .8. Versões estendidas das bibliotecas e ferramentas para suportar extensões Z, como Objeto-Z e TCOZ. O que há de novo nesta versão: · Esta versão é um instantâneo de todas as ferramentas CZT que estão atualmente em desenvolvimento, incluindo ferramentas para os idiomas de especificação z, objeto-z e circo formal. · CZT_1_5_0_BIN.JAR é uma liberação binária de CZT, que pode ser usada como um programa da GUI ou um programa de linha de comando. Por exemplo: · 1. Clique no arquivo .jar para abrir o CZT GUI. · 2. ou fazer 'java -jar czt_1_5_0_bin.jar' para abrir o CZT GUI. · 3. Faça 'java -Jar czt_1_5_0_bin.jar --help' para usar a interface de linha de comando. · CZT_1_5_0_ECLIPSE_PLUGIN.ZIP é um plugin CZT para Eclipse 3.4. Para instalá-lo, basta descompactar este arquivo .zip em sua pasta de eclipse de nível superior (aquele que contém os diretórios 'Recursos' e 'Plugins'), então reinicie o Eclipse. · O comando 'Arquivo / New / Other ... / CZT / CZT Project' pode ser usado para criar um novo projeto CZT e, em seguida, 'arquivo / nova / z especificação' para criar especificações z. Existe um manual do CZT na página do Eclipse 'Ajuda / Ajuda Conteúdo'. · Você também deve instalar a seguinte fonte CZT. · Cztsans_1_5_0.ttf é uma fonte Bitstream Vera com todos os caracteres Unicode para Z adicionado. Você deve instalar isso em seu sistema para que os editores Eclipse e JEDIT possam exibir os caracteres corretos do Unicode para Z. WARNAGEM: No Windows Systems, essa fonte pode fazer com que alguns programas da Microsoft falem - por exemplo. O Visual Studio Form Designer fornece um erro de acesso à memória ilegal se esta fonte estiver instalada no sistema. · CZT_1_5_0_SRC.ZIP contém todos os arquivos de origem do CZT, incluindo informações SVN. Para compilá-lo, você precisará de uma versão recente de Java e Maven. Veja o arquivo Install.txt para detalhes.


Community Z Tools. Software Relacionado