Syspect. Eine kostenlose grafische Entwicklungsumgebung für UML-Subsets
Jetzt downloaden

Syspect. Ranking & Zusammenfassung

Syspect. Stichworte

Übersetzen sich entwickeln Entwicklungsumgebung Diagramm Diagramm übersetzen Diagrammübersetzung

Syspect. Beschreibung

Eine kostenlose grafische Entwicklungsumgebung für UML-Subsets Syspect ist eine freie und offene Quelle, grafische Entwicklungsumgebung für eine UML-Subset mit einer formalen Semantik gemäß der Sprache CSP-OZ-DC. CSP-OZ-DC kombiniert den Prozessalgebra-CSP für die Angabe des Kommunikations- und Prozessverhaltens, wobei das Verfahrensobjekt-Z, das Daten und Operationen beschreibt, und Dauerkalculus, um zeitbasierte Anforderungen zu charakterisieren. Mit dem Syspect können der Benutzer Komponenten-, Klassen- und Statediagramme entwerfen. Probleme, die während eines Exports auftreten, werden identifiziert und visuell markiert. Für die Formalisierung der Daten bietet das Werkzeug unterschiedliche Eingabemöglichkeiten, wie ein grafischer Eingang für die Spezifikationssprache Z. Darüber hinaus umfasst das Werkzeug einen Editor für Dauerkalkulaturen. Syspect unterstützt das Speichern von Modellen in XMI sowie ein eigenes Datenformat. Neben einem grafischen Export für die allgemeinen Bildtypen unterstützt der Entwicklungsumfeld Syspect einen Latex-Export für eine bequeme Darstellung einer Spezifikation.SyStect bietet eine Übersetzung der Spezifikation in Phasenereignisautomaten. Diese können durch Modellprüfgeräte auf überprüfende (sicherheits-) Eigenschaften der Spezifikation gelesen werden. Derzeit ist eine automatisierte Verbindung zum Modell Checker ARMC verfügbar: Das Syspect-Modell kann automatisch gegen Durations-Kalkülformeln überprüft werden. Wenn ARMC einen Fehler erkennt und ein Zählerbeispiel zurückgibt, zeigt Syspect dieses Counter-Beispiel auf benutzerfreundliche Weise.

Syspect. Zugehörige Software