BENUTZEN

Erstellen Sie Ihre UML-Diagramme und nicht nur mit diesem Werkzeug.
Jetzt downloaden

BENUTZEN Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Name des Herausgebers:
  • University of Bremen
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 7.7 MB

BENUTZEN Stichworte


BENUTZEN Beschreibung

Die Verwendung ist ein praktisches System, das speziell für die Spezifikation und Validierung von Informationssystemen auf der Grundlage einer Teilmenge der einheitlichen Modellierungssprache (UML) und der Objektbegrenzungssprache (OCL) entwickelt wurde. Die in der Objektbegrenzungssprache (OCL) geschriebenen Ausdrücke werden verwendet, um zusätzliche Integritätsbeschränkungen auf das Modell anzugeben. Ein Modell kann animiert werden, um die Spezifikation gegen nicht formale Anforderungen zu bestätigen. Systemzustände (Snapshots eines laufenden Systems) können während einer Animation erstellt und manipuliert werden. Für jeden Snapshot werden die OCL-Einschränkungen automatisch überprüft. Informationen zu einem Systemzustand werden von grafischen Ansichten angegeben. OCL-Ausdrücke können eingegeben und ausgewertet werden, um detaillierte Informationen zu einem Systemstatus abzufragen.


BENUTZEN Zugehörige Software