Letzte Woche fand in München die ReConf 2015 statt – diese Konferenz ist die größte zum Thema Requirements in Europa und der Treffpunkt des Who is Who im RE. Erste Eindrücke haben bereits gepostet.
Formal Mind war in zweierlei Hinsicht präsent. Erstens als Aussteller, wir teilten uns einen Stand mit unserem Partner Orange Moon Systems.Zweitens hielten wir einen Vortrag auf dem Wissenschafts-Track, gehalten von Michael Jastram.
Axiom Demos
Ein großes Thema war der ReqIF-basierte Anforderungsaustausch, den wir mit unserem Produkt unterstützen Axiom. Initiiert durch das ProSTEP ReqIF Implementor Forum organisierten wir regelmäßige Demos eines durchgängigen Anforderungsdatenaustauschs zwischen Axiom und anderen Werkzeugen über ReqIF. Diese Demos stießen auf großes Interesse und führten zu vielen Diskussionen, wie das Foto zeigt.
Axiom unterstützt den intelligenten Austausch von Anforderungen und hält eine Reihe von Austausch-Szenarien bereit. Es ist in unserer Internetshop.
Science Track: Visualisierung von Anforderungen
Folien der PräsentationDie Vorlesung “Visualizing requirements” zeigte, wie eine einfache Anforderungsmenge in weniger als einer Stunde in eine interaktive Visualisierung umgewandelt werden konnte. Wir wählten ein Spurwechselwarnsystem als Fallstudie aus.
Natürlich können textuelle Anforderungen nicht direkt visualisiert werden. Daher muss zuerst ein Modell der Domäne erstellt werden, und dieses Modell wird dann mit einer Visualisierung verknüpft. Aber wenn dies geschehen ist, müssen das Domänenmodell und die Visualisierung nicht wieder geändert werden (es sei denn, die Domäne selbst ändert sich natürlich).
Die tatsächliche Funktionalität kann dann durch Verfeinerung definiert werden, und die Visualisierung wird diese Funktionalität widerspiegeln. Rückverfolgbarkeit ermöglicht die Verbindung von funktionalen Anforderungen zu den entsprechenden Modellelementen.
Die folgende Abbildung zeigt die Visualisierung in Aktion. Die Steuerelemente links ermöglichen es dem Benutzer, den Systemzustand zu ändern, und die Visualisierung in der Mitte spiegelt dies wider. Die Ansichten rechts zeigen den Systemzustand und den Verlauf, was bei der Fehlersuche bei ungültigen Systemzuständen und anderen Problemen von Interesse sein kann.
Weitere Eindrücke
Dies war die zweite ReConf am neuen Standort, Dolce Munich, und die Organisation war deutlich besser als im Vorjahr. Von den vier Keynotes waren die von Udo Wiegärtner und Ellen Gottesdiener herausragend. Die anderen beiden überzeugten mich nicht: Ralph Young schaffte es nicht, das Publikum zu fesseln, und während Niels Pfläging fesselnd war, war der Inhalt nicht überzeugend.
ReqIF war mit Ausstellern sehr präsent, praktisch alle kommerziellen Werkzeuge bieten eine Lösung zum Importieren oder Exportieren von Daten über ReqIF an. Leider gab es nur einen Vortrag, in dem ReqIF erwähnt wurde, und das nur im Kontext eines weiteren ReqIF-Adapters für ein kommerzielles Werkzeug. In den letzten Jahren hatte ProStep üblicherweise einen Vortrag, der über die Aktivitäten des Implementor Forums berichtete, dieses Jahr aber nicht. Positiv ist, dass dies darauf hindeutet, dass ReqIF nichts Besonderes mehr ist, sondern eine Standardfunktion, die als selbstverständlich angesehen wird.
Zuletzt war ich überrascht, dass Agilität immer noch ein so heißes Thema ist. Ich wundere mich, denn erfolgreiche Projekte wurden schon vor 50 Jahren immer agil gemanagt – auch wenn der Begriff damals noch nicht verwendet wurde. Wir bei Formal Mind haben immer umarmt agile Ansätze, auch für große sicherheitskritische Projekte.