Syspect Een gratis grafische ontwikkelingsomgeving voor UML-subsets
Download nu

Syspect Rangschikking & Samenvatting

Syspect Tags

vertalen ontwikkelen ontwikkelomgeving diagram vertalen diagram vertaling van diagram

Syspect Beschrijving

Een gratis grafische ontwikkelingsomgeving voor UML-subsets Syspect is een gratis en open source, grafische ontwikkelingsomgeving voor een UML-subset met een formele semantiek volgens de taal CSP-OZ-DC. CSP-OZ-DC combineert het proces Algebra CSP voor de specificatie van communicatie- en procesgedrag, de methodeobject-z, die gegevens en operaties beschrijft en de duur van de duur van de tijd om op tijd gebaseerde vereisten te karakteriseren. Met Syspect kan de gebruiker component-, class- en vermeldeiagrammen ontwerpen. Problemen die voorkomen tijdens een export worden geïdentificeerd en visueel gemarkeerd. Voor de formalisering van gegevens biedt de tool verschillende invoermogelijkheden, zoals een grafische input voor de specificatietaal Z. Bovendien omvat het gereedschap een editor voor duurcalculusformules. Syspect ondersteunt het opslaan van modellen in XMI en zijn eigen gegevensformaat. Naast een grafische export voor de algemene beeldtypen, ondersteunt het ontwikkelingsomvangmiddel Syspect een latex-export voor een geschikte presentatie van een specificatie.SySPECT biedt een vertaling van de specificatie in Phase Event Automata. Deze kunnen worden gelezen door modelcontroletools voor verifiërende (veiligheids-) eigenschappen van de specificatie. Momenteel is een geautomatiseerde verbinding met de Model Checker ARMC beschikbaar: het SYSPECT-model kan automatisch worden geverifieerd tegen duurcalculusformules. Als ARMC een fout detecteert en een tellervoorbeeld Syspect retourneert visualiseert dit tegenvoorbeeld op een gebruiksvriendelijke manier.

Syspect Gerelateerde software