Was passiert, wenn man mit UML beginnt, etwas wegnimmt, etwas Neues hinzufügt und es ein wenig abändert? Je nachdem, was genau man hinzufügt, kann man mit SysML.SysML sorgte in der Requirements Engineering (RE)-Community für Aufregung, da es einige rudimentäre Werkzeuge zur Schaffung von Rückverfolgbarkeit zwischen Anforderungen und Modellelementen bietet.
Was bietet SysML für RE?
SysML fügt das Anforderungsdiagramm, Anforderungsnotation, sowie vier Abhängigkeitsbeziehungen (Ableiten, Überprüfen, Verfeinern, Nachverfolgen. Es beinhaltet das Anforderungstabelle als ein Werkzeug, um alle Anforderungen in Listenform an einem Ort zu sammeln. Hier ist ein Beispiel eines Anforderungsdiagramms, entnommen aus der SysML-Spezifikation:
Anforderungsdiagramme sind ziemlich einfach: Sie bestehen aus Kästchen, die mit dem Anforderungsstereotyp bezeichnet sind und bestimmte Attribute wie id und text aufweisen. Sie können Beziehungen haben (die unbeschrifteten Beziehungen rechts stellen die Enthalten-Beziehung dar).
Die hier gezeigten Beziehungen sind nicht besonders aufregend, da sie sich nur auf Anforderungen beziehen. Wirklich interessant wird es, wenn Beziehungen zu anderen Modellelementen hergestellt werden.
Wie formell ist SysML?
Bei SysML gibt es keine Formalität, nur Konventionen, die dennoch nützlich sein können. Selbst ohne strenge Formalität kann ein Prozess für die Verwendung der manuell erstellten und gepflegten Rückverfolgbarkeit eingesetzt werden, um Modelle und Anforderungen zu validieren und zu verifizieren.
Wie nützlich dies in der Praxis ist, hängt auch von der Werkzeugunterstützung ab, insbesondere von den Berichtsmöglichkeiten des Werkzeugs. Wenn sich die Quelle oder das Ziel einer Rückverfolgung ändert, ist es sehr wünschenswert, dass das Werkzeug dies aufzeichnet, damit der Link überprüft werden kann, ob er noch gültig ist. Dies ist keine Raketenwissenschaft und es ist ein Prozess erforderlich, um eine solche Funktion im Kontext der Systementwicklung nützlich zu machen.
ProR als Tool-Plattform für SysML-Anforderungen?
Die von SysML definierten Anforderungsstrukturen könnten leicht auf dem ReqIF-Datenmodell aufgebaut werden: Enthaltungsbeziehungen würden der Hierarchie von Spezifikationen entsprechen, während SpecRelationTypes die Arten von Verfolgbarkeiten modellieren könnten. Eine Integration mit einem Eclipse-basierten SysML-Editor wie Aufgeklappt wäre ziemlich einfach (siehe unsere Arbeit “Anforderungsrückverfolgbarkeit in Topcased mit dem Requirements Interchange Format (RIF/ReqIF)“).
Welche Vorteile gäbe es? Erstens ist der ProR Requirements Editor leistungsfähiger als die von SysML definierte Requirements-Tabelle. Zweitens könnte eine beliebige Anzahl von Attributen zu den Anforderungen und den Verknüpfungen hinzugefügt werden. Drittens könnte ProR als Brücke zu bestehenden RE-Tools fungieren und somit die Einführung von Model-Tracing in bestehende Prozesse erleichtern. Und schließlich könnten Eclipse-basierte Reporting-Einrichtungen zur Analyse der Rückverfolgbarkeit genutzt werden.
Bitte sagen Sie uns Ihre Meinung dazu im Formal Mind Blog.
Grafiken wurden aus dem OMG SysML-Spezifikation unter den darin genannten Lizenzbedingungen und Urheberrechten.
