Upload
others
View
11
Download
0
Embed Size (px)
Citation preview
Anforderungen integrierenmit dem Eclipse Requirements Modeling Framework
Dr. Michael Jastram
www.formalmind.com
Presentation for GI Fachgruppentreffen
Integrating Requirements
Agenda
● Überblick Eclipse, RMF, ProR and ReqIF● Demo ProR● Anforderungen Integrieren● Demo Rodin Integration
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!
ReqIF, ProR und RMF
5
Integrating Requirements
Was ist das Requirements Modeling Framework?
6
Integrating Requirements
Was ist das Requirements Modeling Framework?
7
Integrating Requirements
Requirements Engineering Platform
Was ist das Requirements Modeling Framework?
Integrating Requirements
Eclipse & RMF
Java Runtime
Eclipse Runtime
Plugins
Core
GUI
… more
EMF
Demo ProR
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
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
Demo Rodin Integration
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