Durch die Freigabe des ReqIF-Standards im April 2011 durch die OMG gibt es nun einen internationalen Standard, der das verteilte Arbeiten mit komplexen Anforderungen ermöglicht. Damit könnte ReqIF für Anforderungen das werden, was die UML in der Modellierung geleistet hat: Einen gemeinsamen Standard bereitstellen, auf den die Gemeinschaft konvergieren kann.
In diesem Vortrag stellen wir das Requirements Modeling Framework (RMF) vor. RMF ist ein neues Eclipse Foundation Projekt, das aus einem RIF/ReqIF-Kern und einer ReqIF-GUI besteht. RMF ist aus den zwei europäischen Forschungsprojekten Deploy und Verde entstanden.
RMF stellt drei Kerne für RIF 1.1a, RIF 1.2 und ReqIF 1.0.1 zu Verfügung. Diese sind mit dem Eclipse Modeling Framework realisiert und ermöglichen das effektive programmatische Arbeiten mit RIF- und ReqIF-Daten.
ProR ist der Name der GUI, mit der ReqIF-Daten komfortabel bearbeitet werden können. Dabei werden Anforderungen intuitiv tabellarisch dargestellt. ProR stellt Erweiterungspunkte zur Verfügung, über die andere Eclipse-basierte Werkzeuge integriert werden können.
In diesem Vortrag stellen wir das Projekt vor, beschreiben die Architektur und demonstrieren die Möglichkeiten einer Eclipse-basierten Plattform.
Scale your database traffic with Read & Write split using MySQL Router
Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source
1. Eclipse RMF
Requirements Modeling Framework
ReqIF in der Open Source
14.03.2012
Michael Jastram Mark Brökens
Formal Mind GmbH Itemis AG
Project Lead RMF Project Project Lead RMF Project
Bildquelle: Eclipse Foundation
3. RMF-Team bei der Eclipse Foundation
Michael Jastram Mark Brökens
Project Lead Project Lead
Focus: GUI Focus: Core
Formal Mind itemis
Uni Düsseldorf
Bildquelle: nightskyinfo.com
8. ReqIF Overview
Format to exchange requirements
Developed by the German Automotive Industry
First version in 2004
Now OMG standard
Gaining traction (previous version supported by
industry tools like IBM DOORS)
Much more than a file format: a data model
8/27
10. ReqIF: ReqIF Content
Requirements and Specifications
Pool of Requirements „Specifications“ Linkage
„SpecObjects“ with hierarchy „SpecRelation“
10/27
11. ReqIF: ReqIF Content
SpecTypes
Attribute Definition for Requirements „SpecObjectType“
Attribute Definition for Linkage „SpecRelationType“
Attribute Definition for Specifications „SpecificationType“
11/27
16. RMF History
Initial Development
April 2010 – June 2010
Verde Collaboration (ReqIF Core)
July 2010 – February 2011
Eclipse Foundation Submission (RMF)
March 2011 – November 2011
Preperation for first Eclipse Snapshot
December 2011 – January 2012
Following the Roadmap
February 2012 – present
16/27
25. Deploy
FP7 Research Program
“to make major advances in engineering methods for
dependable systems through the deployment of formal
engineering methods”
Stewardship of Rodin
“Eclipse-based IDE for Event-B that provides effective
support for refinement and mathematical proof”
More Information:
http://www.deploy-project.eu/
http://www.event-b.org/
25/27
Image: ddpavumba / FreeDigitalPhotos.net
26. ProR Rodin Integration
Ein- und
ausgehende Links
Angezeigte Links
Event-B Modell- Farbliches
Element (einfügen Event-B Modell-
per Drag&Drop) Element
Bei Änderung von
Quelle oder Ziel
wird der Link als
„zu überprüfen“
markiert
Link mit
Kommentar
Ziel-Element
des Links
Vorauss. ab April unter www.event-b.org
Background: http://www.freeppt.net/
27. Advance
FP7 Research Program
“the development of a unified tool-based framework for
automated formal verification and simulation-based
validation of cyber-physical systems”
Stewardship of Rodin
“Eclipse-based IDE for Event-B that provides effective
support for refinement and mathematical proof”
More Information:
http://http://www.advance-ict.eu/
http://www.event-b.org/
27/27
Image: ddpavumba / FreeDigitalPhotos.net
28. Sprechen Sie uns an!
Mark Brörkens Michael Jastram
Wolfgang George Kurt Ebert