Strumenti della Community Z. Strumenti per la modifica, i tipografi e l'animazione delle specifiche della Z e le relative nazioni
Scarica ora

Strumenti della Community Z. Classifica e riepilogo

Strumenti della Community Z. Tag

Comunità utensili Modifica degli strumenti strumenti typechecking

Strumenti della Community Z. Descrizione

Strumenti per la modifica, i tipografi e l'animazione delle specifiche della Z e le relative nazioni Il progetto Community Z Tools (CZT) sta costruendo un set di strumenti per la modifica, i tipici di tipici e l'animazione di specifiche formali scritte nel linguaggio della specifica Z, con un po 'di supporto per le estensioni z come Object-Z e TCOZ. Questi strumenti sono tutti costruiti utilizzando la struttura CZT Java Framework per strumenti Z. Il linguaggio delle specifiche Z è stato adottato come standard ISO nel 2002. Il progetto può essere utilizzato per specificare con precisione i requisiti o il comportamento dei sistemi e analizzano che il comportamento tramite prove, animazione, generazione di test ecc. Tuttavia, uno dei più grandi ostacoli all'uso diffuso del linguaggio delle specifiche Z sembra essere il problema del supporto degli strumenti. I progetti esperti hanno costruito strumenti Z, alcune delle qualità del prodotto , più come progetti studenteschi. Pochi di loro sono integrati l'uno con l'altro; Pochi supportano tutti i nuovi standard ISO; Meno costruiscono ancora insieme per formare il tipo di ambiente integrato che gli sviluppatori stanno iniziando ad aspettarsi. Anche le buone idee sono state sviluppate in fase prototipo, e poi sono state perse come i progetti hanno finito e gli studenti o i ricercatori sono stati spostati. Il numero di volte che una richiesta per un parser z deriva nel newsgroup Z suggerisce molte persone che producono strumenti, la maggior parte dei quali non sarà mai vista al di fuori del proprio istituto. Uno sforzo integrato andrà avanti lo stato degli strumenti e quindi il comando degli obiettivi Z.Our è quello di incoraggiare l'interscambio tra gli strumenti Z esistenti (tramite un formato di interscambio XML standard per Z) e di fornire librerie open-source per la costruzione e integrando i nuovi strumenti Z. Il software che stiamo costruendo / includerà: 1. Un markup dello schema XML per Z. Vedere la procedura ZB2003 per una carta che descrive questo markup.2. Classi Java per Z ANNOTATO Sintassi Alberi (AST) .3. Lezioni Java per la conversione tra XML e Java AST.4. Librerie Java per le operazioni comuni necessarie in ogni strumento Z (markup-convertitori, parser, tipo-checker, espansione dello schema ecc.). Una carta che descrive questi sarà presentato a ZB2005.5. Uno o più semplici editor GRAPHICAL Z, con strutture per entrare facilmente nei simboli speciali Z Unicode. Inizialmente stiamo usando JEDIT.6. Uno strumento di animazione Z chiamato Zlive, con un'interfaccia utente grafica personalizzabile.7. Strumenti di esportazione, per emettere Z in altre notazioni o per gli altri strumenti Z. (Esempio, uscita HTML, uscita in lattice, traduzione a B e JML) .8. Versioni estese delle librerie e strumenti per supportare le estensioni Z come Object-Z e TCOZ. Cosa c'è di nuovo in questa versione: · Questa versione è un'istantanea di tutti gli strumenti CZT che sono attualmente in fase di sviluppo, compresi gli strumenti per la Z, l'oggetto-Z e le lingue delle specifiche formali del circo. · CZT_1_5_0_bin.jar è un rilascio binario di CZT, che può essere utilizzato come programma GUI o un programma di riga di comando. Per esempio: · 1. Fare clic sul file .jar per aprire la GUI CZT. · 2. O fare java -jar czt_1_5_0_bin.jar 'per aprire la GUI CZT. · 3. Do 'Java -jar czt_1_5_0_bin.jar --help' per utilizzare l'interfaccia della riga di comando. · CZT_1_5_0_ECLIPSE_PLUGIN.ZIP è un plug-in CZT per Eclipse 3.4. Per installarlo, semplicemente decomprimere questo file .zip nella cartella Eclipse di livello superiore (quello che contiene le "funzionalità" e le directory dei "plugin"), quindi riavviare Eclipse. · Il comando "file / nuovo / altro ... / CZT / CZT PROJECT può essere utilizzato per creare un nuovo progetto CZT e quindi" file / new / z specification "per creare specifiche Z. C'è un manuale CZT nella pagina di Eclipse 'Guida / Guida contenuto ". · Dovresti anche installare il seguente carattere CZT. · CZTSANS_1_5_0.TTF è un font BITSTREAM VERA con tutti i caratteri Unicode per Z aggiunti. È necessario installare questo sul sistema in modo che gli editor di Eclipse e Jedit possano visualizzare i caratteri Unicode corretti per Z. Avvertenza: sui sistemi Windows questo carattere potrebbe causare l'arresto anomalo di programmi Microsoft, ad esempio. Visual Studio Form Designer fornisce un errore illegale di accesso alla memoria se questo font è installato sul sistema. · CZT_1_5_0_SRC.ZIP contiene tutti i file di origine CZT, incluse le informazioni SVN. Per compilarlo, avrai bisogno di una versione recente di Java e Maven. Vedere il file install.txt per i dettagli.

Strumenti della Community Z. Software correlato