Situation
Die Standardisierung des Requirements Interchange Format (ReqIF) durch die OMG im Jahr 2011 war ein wichtiger Schritt in Richtung Interoperabilität von Anforderungen zwischen Software-Tools. Alle wichtigen Tool-Anbieter fügten ihren Tools die Unterstützung von ReqIF hinzu, was deutlich zeigte, dass der Standard akzeptiert wurde.
Aber die Unterstützung einer Norm ist nicht gleichbedeutend mit Interoperabilität. Es muss sichergestellt sein, dass das Werkzeug die Norm korrekt unterstützt. Dies war die Motivation für die Schaffung des ReqIF-Implementierer-Forum von ProSTEP. In dieser Gruppe waren Vertreter von Tool-Anbietern, Anwendern und Dienstleistern vertreten. Zu den Teilnehmern gehörten Unternehmen wie IBM, PTC, Daimler, Continental und viele mehr. Formal Mind wurde auch Mitglied des Implementor Forums.
Herausforderung
Für unsere Arbeit im Forum wurden Testdaten und Validierungswerkzeuge benötigt. Daher übernahm Formal Mind neben der Rolle eines Tool-Anbieters auch die eines internen Dienstleisters.
Lösung
Formal Mind nutzte das Eclipse Requirements Modeling Framework zur Erzeugung von Testdaten und zur Bereitstellung von Werkzeugen. Da es sich um ein Open-Source-Tool handelt, waren die Ergebnisse öffentlich zugänglich (auch außerhalb des Forums). Wir entwickelten synthetische Testdaten, sowie Folgerichtig, unseren ReqIF-Validator.
Ergebnisse
Durch die Verwendung von Open Source war die Neutralität der Ergebnisse gewährleistet. Außerdem waren die Rechte eindeutig geregelt und das Management des geistigen Eigentums wurde durch die Eclipse Foundation unterstützt. Noch wichtiger: Dadurch, dass die Ergebnisse bei der Eclipse Foundation (und nicht bei ProSTEP) platziert wurden, waren die Ergebnisse über den Kreis der Implementor Forum Mitglieder hinaus frei verfügbar.
Dies wurde besonders deutlich bei Folgerichtig, das jeden Monat über tausend Mal heruntergeladen wird, um ReqIF-Dateien zu validieren. Damit hat Formal Mind wesentlich zur Verbreitung und Akzeptanz des ReqIF-Standards beigetragen.
