anforderungen integrieren - gi
TRANSCRIPT
![Page 1: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/1.jpg)
Anforderungen integrierenmit dem Eclipse Requirements Modeling Framework
Dr. Michael Jastram
www.formalmind.com
Presentation for GI Fachgruppentreffen
![Page 2: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/2.jpg)
Integrating Requirements
Agenda
● Überblick Eclipse, RMF, ProR and ReqIF● Demo ProR● Anforderungen Integrieren● Demo Rodin Integration
![Page 3: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/3.jpg)
Integrating Requirements
Hintergrund Formal Mind
● GmbH aus Düsseldorf● Ausgründung der Universität Düsseldorf● Kommerzialisierung von Forschungsergebnissen in der
Systementwicklung● Requirements Management & Engineering● Formale Modellierung & Validierung
● Hintergrund● Open Source: Eclipse RMF Project Lead● Formale Methoden: ProB Validierungs-Plattform● Forschung: Aktive Teilnahme an Forschungsprojekten
● Kunden: Deutsche Bahn, Alstom, Prostep u.v.a.m.
Newsletter:
formalmind.com/
newsletter
newsletter@
formalmind.com
Wir stellenein!
![Page 4: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/4.jpg)
ReqIF, ProR und RMF
![Page 5: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/5.jpg)
5
Integrating Requirements
Was ist das Requirements Modeling Framework?
![Page 6: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/6.jpg)
6
Integrating Requirements
Was ist das Requirements Modeling Framework?
![Page 7: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/7.jpg)
7
Integrating Requirements
Requirements Engineering Platform
Was ist das Requirements Modeling Framework?
![Page 8: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/8.jpg)
Integrating Requirements
Eclipse & RMF
Java Runtime
Eclipse Runtime
Plugins
Core
GUI
… more
EMF
![Page 9: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/9.jpg)
Demo ProR
![Page 10: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/10.jpg)
10
Integrating Requirements
Status von RMF
● > 1200 Downloads in 2012● Version 0.5.0 im November veröffentlicht● ProSTEP ReqIF Implementor Forum● Academische Aktivitäten● Kommerzielle Aktivitäten
Image courtesy of FreeDigitalPhotos.net
Project Websiter:
www.eclipse.org/rmf
![Page 11: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/11.jpg)
Integrating Requirements
Integration & Traceability
● Dialog mit bestehenden Projekten (z.B. Topcased)● Kompatibel mit RE-Tools (DOORS, Integrity, etc.)● EMF-basierte Traceabilty (e.g. Crema)● DSL-Integration (e.g. XText)● Integration mit Modellen
Image courtesy of FreeDigitalPhotos.net
![Page 12: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/12.jpg)
Demo Rodin Integration
![Page 13: Anforderungen integrieren - gi](https://reader034.vdocument.in/reader034/viewer/2022050713/62760e9ac4d9ab02cf05b2c0/html5/thumbnails/13.jpg)
Integrating Requirements
Newsletter:
formalmind.com/
newsletter
newsletter@
formalmind.com
Zusammenfassung
● RMF bitete eine solide Grundlage für die Integration von Anforderungen
● Eclipse Open Source mit allen Vorteilen● Starkes adademisches und kommerzielles
Interesse● Entwicklungs-Partner gesucht!
Visit us at http://www.formalmind.com/pror