Gemeenschap Z-gereedschap Hulpmiddelen voor het bewerken, typeiland en animeren Z-specificaties en gerelateerde notaties
Download nu

Gemeenschap Z-gereedschap Rangschikking & Samenvatting

Gemeenschap Z-gereedschap Tags

gemeenschap hulpmiddelen gereedschap bewerken Typeillecking tools

Gemeenschap Z-gereedschap Beschrijving

Gereedschappen voor het bewerken, typeiland en animeren Z-specificaties en aanverwante notaties Het project Community Z-tools (CZT) is het bouwen van een reeks hulpmiddelen voor het bewerken, typeiland en animatie van formele specificaties die zijn geschreven in de SPECT-taal van Z, met enige ondersteuning voor Z-extensies zoals Object-Z en TCOZ. Deze hulpmiddelen zijn allemaal gebouwd met behulp van het CZT Java-framework voor Z-gereedschap. De taal van de ZO is in 2002 als ISO-norm goedgekeurd. Het project kan worden gebruikt om de vereisten of het gedrag van systemen nauwkeurig te specificeren , en analyseer dat gedrag via bewijs, animatie, testgeneratie enz. Echter, een van de grootste belemmeringen voor het wijdverspreide gebruik van de Z-specificatietaal lijkt het probleem van het hulpmiddel Support.Many-projecten hebben ZEERDE Z-hulpmiddelen, een deel van de kwaliteit van het product, , de meeste als studentenprojecten. Weinigen van hen zijn met elkaar geïntegreerd; Weinig ondersteunen alle nieuwe ISO-standaard; Minder, nog steeds samengebouwd om het soort geïntegreerde omgeving te vormen dat ontwikkelaars beginnen te verwachten. Fany goede ideeën zijn ontwikkeld tot prototype-fase, en dan zijn verloren gegaan omdat projecten zijn voltooid en studenten of onderzoekers zijn ingeschakeld. Het aantal keren dat een verzoek om een Z-parser ontstaat in de Z-nieuwsgroep suggereert dat veel mensen gereedschap produceren, waarvan de meeste nooit buiten hun eigen instituut zullen worden gezien. Een geïntegreerde inspanning zal de toestand van het gereedschap doorlopen en daardoor de opname van Z. Onze doelstellingen zijn om uitwisseling tussen bestaande Z-gereedschappen aan te moedigen (via een standaard XML-intermandersformaat voor Z), en om open-source-bibliotheken voor het bouwen te bieden en integratie van nieuwe Z-hulpmiddelen. De software die we bouwen doen / omvat: 1. Een XML-schema-markup voor Z. Zie de ZB2003-procedure voor een papier die deze mark-up beschrijft.2. Java-lessen voor Z-geannoteerde syntaxisbomen (AST) .3. Java-klassen voor het converteren tussen XML en Java AST.4. Java-bibliotheken voor de gemeenschappelijke bewerkingen die nodig zijn in elke Z-tool (Markup-converters, parser, type-checker, schema-expansie enz.). Een papier dat deze wordt beschreven, wordt gepresenteerd bij ZB2005.5. Een of meer eenvoudige grafische Z-redacteuren, met faciliteiten voor het eenvoudig invoeren van de speciale Z-Unicode-symbolen. Aanvankelijk gebruiken we Jedit.6. Een Z-animatie-tool genaamd ZLive, met een aanpasbare grafische gebruikersinterface.7. Exporteergereedschap, om Z in andere notaties of voor andere Z-hulpmiddelen uit te voeren. (Voorbeeld, HTML-uitgang, latexoutput, vertaling naar b en jml) .8. Verlengde versies van de bibliotheken en hulpmiddelen om Z-uitbreidingen zoals Object-Z en Toz te ondersteunen. Wat is er nieuw in deze release: · Deze release is een momentopname van alle CZT-tools die momenteel in ontwikkeling zijn, inclusief hulpmiddelen voor de Z-, Object-Z- en Circus-formele specificaties. · CZT_1_5_0_BIN.JAR is een binaire afgifte van CZT, die kan worden gebruikt als een GUI-programma of een opdrachtregelprogramma. Bijvoorbeeld: · 1. Klik op het .jar-bestand om de CZT GUI te openen. · 2. of doe 'java -jar czt_1_5_0_bin.jar' om de CZT GUI te openen. · 3. Doe 'Java -jar CZT_1_5_0_BIN.JAR --HELP' om de opdrachtregelinterface te gebruiken. · CZT_1_5_0_ECLIPSE_PLUGIN.ZIP is een CZT-plug-in voor Eclipse 3.4. Om het te installeren, mag u dit .zip-bestand alleen in uw Eclipse-map op het hoogste niveau (degene die de mappen van 'FUNCTIES' en 'Plugins') bevat) en vervolgens de Eclipse opnieuw opstarten. · Het opdracht 'Bestand / Nieuw / Andere ... / CZT / CZT-project kan worden gebruikt om een nieuw CZT-project te maken en vervolgens' Bestand / Nieuw / Z-specificatie 'om Z-specificaties te maken. Er is een CZT-handleiding in de pagina Hulp / Help Inhoudsopgave van de Eclipse. · U moet ook het volgende CZT-lettertype installeren. · CZTSANS_1_5_0.TTF is een Bitstream Vera-lettertype met alle Unicode-tekens voor Z toegevoegd. U moet dit op uw systeem installeren, zodat de Eclipse- en Jedit-editors de juiste Unicode-tekens voor Z kunnen weergeven. WAARSCHUWING: op Windows-systemen kan dit lettertype sommige Microsoft-programma's aanresten - bijv. Visual Studio Form Designer geeft een illegale geheugentoegangsfout als dit lettertype op het systeem is geïnstalleerd. · CZT_1_5_0_SRC.ZIP Bevat alle CZT-bronbestanden, waaronder SVN-informatie. Om het te compileren, hebt u een recente versie van Java en Maven nodig. Zie het bestand Install.txt voor meer informatie.

Gemeenschap Z-gereedschap Gerelateerde software