Eclipse RMF - Requirements Modeling Framework - ReqIF in der Open Source
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.
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