Outils communautaires Z Outils pour l'édition, la dactylographie et l'animation des spécifications Z et des notations connexes
Télécharger maintenant

Outils communautaires Z Classement & Résumé

Outils communautaires Z Mots clés

communauté outils Outils d'édition Outils de contrôle de type

Outils communautaires Z La description

Outils pour la modification, la dactylographie et l'animation des spécifications Z et des notations connexes Le projet Community Z Tools (CZT) construit un ensemble d'outils pour la modification, la dactylographie et l'animation de spécifications formelles écrites dans la langue de spécification Z, avec une certaine prise en charge des extensions Z telles que Object-Z et TCOZ. Ces outils sont tous construits à l'aide de la CZT Java Cadre pour Z Tools. La langue de spécification Z a été adoptée en tant que norme ISO en 2002. Le projet peut être utilisé pour spécifier précisément les exigences ou le comportement des systèmes. et analysez ce comportement via une preuve, une animation, une génération de test, etc. Toutefois, l'un des principaux obstacles à l'utilisation généralisée du langage de spécification Z semble être la question de la prise en charge des outils. Les projets de Many ont construit des outils Z, une qualité de produit , la plupart des projets d'étudiant. Peu d'entre eux sont intégrés les uns aux autres; Peu de soutiennent toute la nouvelle norme ISO; Moins encore de construire ensemble pour former le type d'environnement intégré que les développeurs commencent à s'attendre. Les bonnes idées ont été développées pour prototyper le stade, puis ont été perdues à mesure que des projets ont fini et que des étudiants ou des chercheurs ont été déplacés. Le nombre de fois qu'une demande d'un analyseur Z se présente dans le groupe de discussion de Z suggère que de nombreuses personnes produisent des outils, dont la plupart ne seront jamais vus en dehors de leur propre institut. Un effort intégré progressera de l'état des outils et, de ce fait, la prise en charge des objectifs de Z.Nour est d'encourager l'échange entre les outils Z existants (via un format d'interchange XML standard pour Z) et pour fournir des bibliothèques open-source pour la construction. et intégrer de nouveaux outils Z. Le logiciel que nous construisons fait / comprendra: 1. Un balisage de schéma XML pour Z. Voir la procédure ZB2003 pour un papier décrivant ce marquage.2. Classes Java pour les arbres de syntaxes annotées Z (AST) .3. Classes Java pour la conversion entre XML et Java Ast.4. Java Bibliothèques pour les opérations communes nécessaires dans tous les outils Z (convertisseurs de balisage, analyseur, vérificateur de type, expansion de schéma, etc.). Un document décrivant celles-ci sera présenté à ZB2005.5. Un ou plusieurs éditeurs de z graphiques simples, avec des installations pour entrer facilement dans les symboles spéciaux Z Unicode. Initialement, nous utilisons Jedit.6. Un outil d'animation Z appelé ZLive, avec une interface utilisateur graphique personnalisable.7. Outils d'exportation, pour produire Z dans d'autres notations ou pour d'autres outils Z. (Exemple, sortie HTML, sortie de latex, traduction de B et JML) .88. Versions étendues des bibliothèques et des outils pour prendre en charge des extensions Z telles que Object-Z et TCOZ. Quoi de neuf dans cette version: · Cette version est un instantané de tous les outils de la CZT en cours de développement, y compris des outils pour les langues de spécification Z, Object-Z et Circus. · CZT_1_5_0_BIN.JAR est une version binaire de la CZT, qui peut être utilisée comme programme d'interface graphique ou programme de ligne de commande. Par example: · 1. Cliquez sur le fichier .jar pour ouvrir l'interface graphique CZT. · 2. Ou do 'Java -Jar CZT_1_5_0_BIN.JAR' pour ouvrir l'interface graphique CZT. · 3. Java -jar CZT_1_5_0_BIN.JAR --HELP 'pour utiliser l'interface de ligne de commande. · CZT_1_5_0_ECLIPSE_PLUGIN.ZIP est un plugin CZT pour Eclipse 3.4. Pour l'installer, décompressez simplement ce fichier .zip dans votre dossier Eclipse de niveau supérieur (celui qui contient les annuaires des «fonctionnalités» et «plugins»), puis redémarrez Eclipse. · La commande "Fichier / Nouveau / Autre ... / CZT / CZT" peut être utilisée pour créer un nouveau projet CZT, puis "Spécification" Fichier / Nouveau / Z "pour créer des spécifications Z. Il y a un manuel de la CZT dans la page Eclipse 'Help / Sommaire de l'aide ». · Vous devez également installer la police CZT suivante. · CZTSAN_1_5_0.TTF est une police de Vera Bitstream avec tous les caractères Unicode pour Z ajoutés. Vous devez l'installer sur votre système de sorte que les éditeurs Eclipse et Jedit puissent afficher les caractères Unicode corrects pour Z. AVERTISSEMENT: SUR LES SYSTÈMES WINDOWS, cette police peut provoquer un blocage de certains programmes Microsoft - par exemple. Visual Studio Form Designer donne une erreur d'accès à la mémoire illégale si cette police est installée sur le système. · CZT_1_5_0_SRC.ZIP contient tous les fichiers source CZT, y compris les informations SVN. Pour le compiler, vous aurez besoin d'une version récente de Java et Maven. Voir le fichier Install.txt pour plus de détails.

Outils communautaires Z Logiciels associés