{"id":1019,"date":"2015-01-29T08:00:00","date_gmt":"2015-01-29T07:00:00","guid":{"rendered":"https:\/\/www.formalmind.com\/blog\/visualize-your-requirements-and-see-talk-reconf-2015\/"},"modified":"2022-04-11T18:58:54","modified_gmt":"2022-04-11T16:58:54","slug":"visualize-your-requirements-and-see-talk-reconf-2015","status":"publish","type":"post","link":"https:\/\/www.formalmind.com\/de\/blog\/visualize-your-requirements-and-see-talk-reconf-2015\/","title":{"rendered":"Visualisieren Sie Ihre Anforderungen (und sehen Sie sich den Vortrag auf der ReConf 2015 an)"},"content":{"rendered":"

\"\"

Besuchen Sie uns auf der ReConf 2015. Bitte kontaktieren Sie uns, um einen Rabattcode zu erhalten.<\/strong><\/p>\n

Egal wie Anforderungen erfasst werden, es gibt normalerweise zwei Nachteile: (1) Sie sehen nicht aus wie das \u201cechte Ding\u201d und (2) sie sind leblos.<\/p>\n

Das erste kann bis zu einem gewissen Grad korrigiert werden, indem einfach Bilder in Ihr Anforderungsdokument aufgenommen werden. Tats\u00e4chlich liefert die Marketingabteilung manchmal einige der Grafiken. Das zweite ist das, was wie hier beschrieben behoben werden kann und was wir auf der ReConf 2015 pr\u00e4sentieren werden.<\/p>\n

Erstellung interaktiver Spezifikationen mit BMotion Studio<\/h2>\n

Auf unserem Vortrag zur ReConf werden wir ein einfaches Ampelsystem erstellen. Wir werden in weniger als einer Stunde von den Anforderungen zu einer interaktiven Visualisierung gelangen. Wir verwenden das Werkzeug Rodin, erweitert um ein paar Plugins. Alles, was Sie ben\u00f6tigen, ist frei verf\u00fcgbar.<\/p>\n

\"\"

Um eine interaktive Visualisierung zu erstellen, ben\u00f6tigen wir ein Modell der Dom\u00e4ne (die Ampeln usw.) und der Anforderungen. Das ist der gr\u00f6\u00dfte Haken an diesem Ansatz, Sie ben\u00f6tigen einen Experten, der dies mit einer geeigneten Modellierungssprache modellieren kann. Im Vortrag werden wir Event-B verwenden. Wie ein solches Modell im Detail aussieht, wird im Tutorial der Rodin-Handbuch<\/a>.<\/p>\n

Erstellung der Visualisierung<\/h2>\n

Jetzt wird es interessant. Das Plugin BMotion Studio (BMS) hat einen grafischen Editor. Das Bild der Ampel kann einfach importiert werden und bildet somit die Grundlage f\u00fcr die Visualisierung.<\/p>\n

Damit die Visualisierung funktioniert, m\u00fcssen zwei Dinge geschehen: (1) Wir m\u00fcssen die Farben der Ampeln \u00e4ndern und (2) wir m\u00fcssen die Schaltfl\u00e4chen interaktiv machen. Das folgende Bild zeigt den BMS-Grafikeditor:<\/p>\n

\"\"

Sie sehen auf der rechten Seite eine Palette. Eines der verf\u00fcgbaren Elemente ist eine Ellipse. Um die Farben \u00e4nderbar zu machen, zeichnen wir einfach einen Kreis \u00fcber jede der \u201cLampen\u201d der Ampel. Die Abbildung zeigt dies. Das rote Licht ist ausgew\u00e4hlt, und die Steuerelemente, mit denen die Gr\u00f6\u00dfe des Kreises ge\u00e4ndert werden kann, werden angezeigt, um es richtig \u00fcber das Bild anzupassen. In der Eigenschaftsansicht (nicht gezeigt) kann die Farbe ausgew\u00e4hlt werden.<\/p>\n

Als N\u00e4chstes m\u00fcssen die neu erstellten Elemente mit dem formalen Modell verbunden werden. Dies geschieht durch Rechtsklick auf den Kreis und Hinzuf\u00fcgen eines Beobachter<\/em>.Dies \u00f6ffnet den folgenden Dialog, der bereits so konfiguriert wurde, dass das Modell (\u00fcber das Pr\u00e4dikat) mit der Visualisierung verbunden wird. Wenn das Pr\u00e4dikat wahr ist, wird die Hintergrundfarbe auf den angegebenen Farbwert gesetzt, der ein helles Rot darstellt.<\/p>\n

\"\"

Dieser Vorgang muss f\u00fcr alle Leuchten wiederholt werden. Da sich die beiden Leuchten f\u00fcr die Autos identisch verhalten, kann die zweite Leuchte per Kopieren und Einf\u00fcgen erstellt werden.<\/p>\n

Die Schaltfl\u00e4chen werden auf \u00e4hnliche Weise erstellt, au\u00dfer dass sie eine ausl\u00f6sen Ereignis<\/em> statt nur Beobachter zu sein, wie die Lichter.<\/p>\n

Die Visualisierung ausf\u00fchren<\/h2>\n

Nachdem die Visualisierung verdrahtet ist, kann sie gestartet werden. Benutzer k\u00f6nnen mit ihr interagieren, indem sie die Schaltfl\u00e4che dr\u00fccken und zu den \u00dcberg\u00e4ngen des Ampelregimes \u00fcbergehen. Dies kann auch automatisiert erfolgen, und das Werkzeug kann zur Erkennung von Verst\u00f6\u00dfen gegen Anforderungen oder von Deadlocks eingesetzt werden.<\/p>\n

Entkopplung der Visualisierung von der Implementierung<\/h2>\n

Was wir hier modelliert haben, war einfach nur die Dom\u00e4ne, nicht die Funktionalit\u00e4t. Mit anderen Worten, nichts, was wir bisher getan haben, hat die Funktionalit\u00e4t in irgendeiner Weise eingeschr\u00e4nkt. Um ein extremes Beispiel zu nennen, steht es uns immer noch frei, eine Implementierung bereitzustellen, die alle Lichter gleichzeitig einschaltet.<\/p>\n

Um die tats\u00e4chliche Ampelfunktionalit\u00e4t bereitzustellen, m\u00fcssten wir mehr Anforderungen in das Modell aufnehmen. Insbesondere die f\u00fcr den Lichtmodus verantwortlichen Anforderungen. Eine \u00c4nderung der Visualisierung w\u00e4re jedoch nicht erforderlich.<\/p>\n

In der Praxis k\u00f6nnte dies auch f\u00fcr Situationen genutzt werden, in denen die gleiche Hardware f\u00fcr unterschiedliche Varianten (z. B. eine Standard- und eine Luxusvariante) verwendet wird. Die gleiche Visualisierung w\u00fcrde dann durch zwei unterschiedliche Implementierungen angetrieben werden.<\/p>\n

Wir hoffen, dass dieser kleine \u00dcberblick Sie neugierig gemacht hat und freuen uns auf ein Wiedersehen bei der ReConf 2015.<\/p>","protected":false},"excerpt":{"rendered":"

Anforderungen erfordern einige M\u00fche, um sie zu lesen und zu verstehen. Aber was w\u00e4re, wenn man sie zum Leben erwecken k\u00f6nnte? Das ist m\u00f6glich, und Sie k\u00f6nnen dies auf der diesj\u00e4hrigen ReConf im Science Track am Montag, den 16. M\u00e4rz 2015 sehen. Besuchen Sie unseren Stand auf der ReConf 2015. Bitte kontaktieren Sie uns, um einen Rabattcode zu erhalten. Ganz gleich...<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"single-no-separators","format":"standard","meta":{"_kadence_starter_templates_imported_post":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_kad_post_classname":"","footnotes":""},"categories":[13],"tags":[],"class_list":["post-1019","post","type-post","status-publish","format-standard","hentry","category-blog"],"_links":{"self":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/1019","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/comments?post=1019"}],"version-history":[{"count":0,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/1019\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/media?parent=1019"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/categories?post=1019"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/tags?post=1019"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}