{"id":93,"date":"2012-02-24T08:00:00","date_gmt":"2012-02-24T07:00:00","guid":{"rendered":"https:\/\/www.formalmind.com\/blog\/pror-rmf-and-formal-mind-reconf-2012\/"},"modified":"2022-04-11T18:58:55","modified_gmt":"2022-04-11T16:58:55","slug":"pror-rmf-and-formal-mind-reconf-2012","status":"publish","type":"post","link":"https:\/\/www.formalmind.com\/de\/blog\/pror-rmf-and-formal-mind-reconf-2012\/","title":{"rendered":"ProR, RMF und Formal Mind auf der ReConf 2012"},"content":{"rendered":"

\"\"

Strukturierung von Anforderungen f\u00fcr eine enge Integration mit Modellen:<\/strong><\/a> Anforderungsmanagement und Modellierung sind verwandt und erg\u00e4nzen sich, aber wie eng sind sie in der Praxis miteinander verbunden? SysML zum Beispiel erm\u00f6glicht zwar die R\u00fcckverfolgbarkeit, aber letztlich sind die Anforderungen kaum mehr als Textbl\u00f6cke. In diesem Vortrag wird ein Ansatz vorgestellt, der die R\u00fcckverfolgbarkeit zwischen nat\u00fcrlichsprachlichen Anforderungen und Modellen verbessert. Er basiert auf dem WRSPM-Referenzmodell von Gunther. Dies allein verbessert schon die Qualit\u00e4t der Anforderungen. Aber noch wichtiger ist, dass es eine tiefe Integration mit dem Modell erm\u00f6glicht. Der Ansatz funktioniert mit verschiedenen Modellierungsans\u00e4tzen, hier verwenden wir die formale Event-B-Methode, auf der unsere Forschung basiert. Ein wesentlicher Vorteil dieser Methode ist, dass nicht alle Anforderungen modelliert werden m\u00fcssen. Werkzeugunterst\u00fctzung ist durch eine Integration zwischen ProR und Rodin verf\u00fcgbar.<\/p>\n

ReqIF in der Open Source: Das Eclipse Requirements Modeling Framework:<\/strong><\/a> Mit der Ver\u00f6ffentlichung des ReqIF-Standards im April 2011 durch die OMG gibt es endlich einen internationalen Standard, der die Arbeit mit komplexen Anforderungen erm\u00f6glicht. Damit k\u00f6nnte ReqIF f\u00fcr Anforderungen das werden, was UML f\u00fcr die Modellierung wurde: ein gemeinsamer Standard, auf den sich die Gemeinschaft einigen kann. In diesem Vortrag wird das Requirements Modeling Framework (RMF) vorgestellt. RMF ist ein neues Projekt der Eclipse Foundation, das aus einem RIF\/ReqIF-Kern und einer Benutzeroberfl\u00e4che besteht. RMF ist aus zwei akademischen Forschungsprojekten hervorgegangen.<\/p>\n

Wenn Sie daran interessiert sind, Michael Jastram auf der ReConf zu treffen, Bitte kontaktieren Sie uns<\/a>.<\/p>\n

Bild: sixninepixels \/ FreeDigitalPhotos.net<\/span><\/a><\/p>","protected":false},"excerpt":{"rendered":"

Die ReConf ist eine der gr\u00f6\u00dften Anforderungskonferenzen in Europa, und Michael Jastram ist seit 2007 ein regelm\u00e4\u00dfiger Redner. Dieses Jahr wird er zwei Vortr\u00e4ge halten: Strukturierung von Anforderungen f\u00fcr eine enge Integration mit Modellen: Anforderungsmanagement und Modellierung sind verwandt und komplement\u00e4r, aber wie eng sind sie in der Praxis integriert? Nehmen Sie SysML als Beispiel...<\/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-93","post","type-post","status-publish","format-standard","hentry","category-blog"],"_links":{"self":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/93","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=93"}],"version-history":[{"count":0,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/93\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/media?parent=93"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/categories?post=93"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/tags?post=93"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}