Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source
2 likes1,653 views
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.
Ad
More Related Content
Similar to Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source (20)
Recently uploaded (20)
Ad
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
- 2. ReqIF und RMF heben ab Bildquelle: NASA
- 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
- 4. www.itea-verde.org www.deploy-project.eu Core
- 5. Collaborators Formal Method RMF Core Traceability Integration and Traceability Formal Method Traceability Integration DSLs Deploy FP7 Academic Spin- Project ITEA Verde Project Off Interest from: Airbus, Atos, emergn Ltd, HOOD GmbH, MKS, ModelAchemy, Obeo, Prostep, TCL Software and more (see Eclipse Proposal) 5/27
- 7. RIF / ReqIF
- 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
- 9. ReqIF Top Level 9/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
- 12. ReqIF: ReqIF Content Attributes 12/27
- 13. Eclipse RMF
- 14. RMF Architecture Requirements Capturing UI (RMF ReqIF ProR) .reqif Implementation of ReqIF Metamodel Exchange Persistence (RMF ReqIf Core) Format Eclipse Modeling Framework 3rd Party Standard (OMG) Eclipse RMF Eclipse Platform
- 15. ReqIF Standard UI EMF
- 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
- 17. ProR Demo
- 18. RMF Roadmap Finalize migration to Eclipse Foundation Ensure ReqIF interoperability (ProSTEP Implementer Forum) Make ProR feature-complete & performance tuning Improved error handling for incorrect ReqIF models Improve Integration into different contexts Continue academic work (FP7 Advance) SPICE-compliant development process (itemis) 18/27
- 19. Activities that complement RMF
- 21. Verde: Requirements Traceability with YAKINDU CReMa Source+Code+ Requirements+ UML+ AUTOSAR+(Artop)+ ExisTng+Tools+ (ReqIF)+ +(Papyrus)+ Custom+ TracePoint'+ TracePoint' TracePoint' TracePoint' TracePoint' Provider+ Provider+ Provider+ Provider+ Provider+ ReqIF+ UML+ Artop+ Source+ Framework+ Traceability+Framework+++User+Interface+ TracePoint+Source+ TracePoint+Target+ Meta0Data+ RIF://ID'238+ UML://GUID'FF'AD'3M+ Datastore+ RIF://ID'238+ TXT://impl.c/line'308+ UML:://GUID'0B'CD'DD+ TXT://impl.c/line'3qw+ © itemis 2012
- 22. DSL-Support with XText Bridging the gap between textual requirements and models 22/27
- 23. Research Project IMES History Offline Work Multi User Big Models Requirements Capturing UI (RMF ReqIF ProR) Implementation of ReqIF Metamodel (RMF ReqIf Core) CDO Database www.pt-it.pt-dlr.de/_media/Infoblatt_IMES.pdf © itemis 2012
- 24. RMF users Research project: • VERDE • IMES • Amalthea • Deploy • Advance • NextGenRE Various Interested Parties
- 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