jazoon12: tracing requirements with the eclipse requirements modeling framework
DESCRIPTION
No matter whether a heavy-weight approach like RUP is employed or an agile one - requirements have to be collected and organized somehow. It is desirable to maintain the requirements and to establish a traceability between the requirements and the development artifacts. Such a traceability has many uses, including to support project management, testing or change management, to name just a few. In practice, it is difficult to find the right balance for requirements management: If requirements are not updated, their usefulness is severely limited. Likewise, an incomplete or incorrect traceability can be worse than having none at all. The cost of a correctly maintained traceability can in some circumstances out-weight their value. In this talk, we present the Eclipse Requirements Modeling Framework (RMF) and its GUI, ProR. RMF supports a generic data model that is based on the emerging ReqIF standard. ReqIF is an OMG standard that was developed by the automotive industry to aid the exchange of requirements between manufacturers and suppliers. ProR is the first clean-room implementation of a ReqIF tool. We expect most industry tools to support ReqIF by the end of 2012 (many tools, including Rational DOORS, already support the predecessor of ReqIF). Support for the project was pledged by Airbus, Thales, MKS and many others (see http://eclipse.org/rmf). As ProR is generic, it can be used with a wide range of development processes. But the real power stems from the ability to extend it with plugins to provide additional functionality. In this talk, we will also present a method for building a formal model of requirements. The method supports the iterative addition of requirements to the model, while evolving the requirements. We demonstrate how ProR (with the integration plugin) support tasks like link creation, change management and requirements evolution. As an Eclipse project, RMF can easily be integrated into existing tools. There is a lot of interest in the Topcased community, for instance, to integrate ProR for better requirements engineering support. Further, we are evaluating traceability support for SysML, implemented in Topcased. This talk addresses everybody who manages requirements and who deals with the software development process. Besides requirements engineers, this includes product managers, project managers and software architects. As systems being developed are getting more and more complex, the importance of an effective development process and an integrated tool chain are becoming increasingly important. RMF makes an open contribution in an area that so far has been under-represented in the Eclipse ecosystem.TRANSCRIPT
![Page 1: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/1.jpg)
Tracing Requirements with the Eclipse Requirements Modeling Framework
Michael Jastram
Formal Mind GmbH / University of Düsseldorf
J11.2
![Page 2: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/2.jpg)
2
AGENDA
> Requirements & Tools Today
> Requirements Modeling Framework (RMF)
> Demo of ProR (GUI)
> Traceability
> Demo of Rodin Integration (Modeling)
> Outlook
![Page 3: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/3.jpg)
RMF news via the
Formal Minds blog
and newsletter:
http://formalmind.com/
newsletter/subscriptions
3
Is RMF for you?
If …
… you consider requirements important
… you do Eclipse-based systems engineering
… Word, Excel, Wiki just doesn't cut it for requirements
… you are looking for an open, extensible requirements tool
… then RMF may be what you were looking for
Image: FreeDigitalPhotos.net
![Page 4: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/4.jpg)
4
Michael Jastram
> Cofounder Formal Mind GmbHScience for Systems Engineering
> Completing PhD program (University of Düsseldorf)Focus on Requirements / Formal Models
> Project Lead / CofounderEclipse Requirements Modeling Framework
> Chairman / Founderrheinjug (Java User Group Düsseldorf)
![Page 5: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/5.jpg)
RequirementsRequirements and Requirements Tools Today
![Page 6: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/6.jpg)
6
Why Requirements?
Image: dilbert.com
![Page 7: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/7.jpg)
7
What are Requirements?
> “A condition or capability needed by a user to solve a problem or achieve an objective (...)”
(IEEE)
> Requirements answer: What?
> Specification answers: How?
![Page 8: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/8.jpg)
9
A Few Approaches and Tooling
V-Modell XT RUP/OpenUP Scrum & Co Ad Hoc
Image: FreeDigitalPhotos.net
HeavyLight
Specialized Text and Web-based Anything
Tool chains UML
![Page 9: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/9.jpg)
10
Requirements in different Fields
> Requirements for Software (Web, Desktop, etc.)
– Small number
– Complement Models
> Requirements for Embedded Systems
– Large Number
– Part of Contracts
Image: FreeDigitalPhotos.net
![Page 10: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/10.jpg)
11
Features of Requirements Tools
> Like:
– DOORS
– Integrity
– IRQA
> Features
– Requirements Text + Attributes
– Various Attribute Types (Rich Text, Enumerations, OLE, etc.)
– Hierarchical Document Structure
– Traceability between Requirements
– Versioning / Baselining
> Analysis
> Scripting / Programming
Image: FreeDigitalPhotos.net
![Page 11: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/11.jpg)
RMFThe Eclipse Requirements Modeling Framework
![Page 12: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/12.jpg)
13
> Framework for working with textual requirements
> Based on ReqIF (Requirements Interchange Format)
> Components: GUI ( ) and Core
> Extensible (Eclipse plug-ins / EMF)
> Roots in academia
> Designed for industry
RMF Overview
Image: ddpavumba / FreeDigitalPhotos.net
![Page 13: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/13.jpg)
14
> Initial Development ProR (Focus on GUI)April 2010 – June 2010
> Verde/itemis Collaboration (ReqIF Core)July 2010 – February 2011
> Eclipse Foundation Submission (RMF)March 2011 – November 2011
> Preperation for first Eclipse Integration BuildDecember 2011 – January 2012
> Following the RoadmapFebruary 2012 – present
RMF History
Image: Salvatore Vuono / FreeDigitalPhotos.net
![Page 14: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/14.jpg)
15
RMF ArchitectureIm
age:
dre
am d
esig
ns /
Free
Dig
italP
hoto
s.ne
t
![Page 15: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/15.jpg)
16
ReqIF Top Level
Take
n fr
om O
MG
Req
IF 1
.0.1
Spe
cifc
atio
nIm
age:
Fre
eDig
italP
hoto
s.ne
t
![Page 16: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/16.jpg)
17
ReqIF Content
Taken from OMG ReqIF 1.0.1 SpecifcationImage: FreeDigitalPhotos.net
![Page 17: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/17.jpg)
19
> ReqIF Meta-Meta-Model
– Unchangeable (OMG Standard)
– Used by Developer
> Information Meta-Model:
– Structures for Capturing Requirements
– Used by Requirements Engineer
> Requirements Model:
– The Actual Requirements
– Used by Stakeholders
ReqIF: Three Layers
![Page 18: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/18.jpg)
Demo 1Of the ProR Tool (GUI of RMF)
![Page 19: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/19.jpg)
TraceabilityConnecting the dots within and beyond the requirements description
![Page 20: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/20.jpg)
22
> For reasoning (SysML: containment, derive, satisfy, verify, refine)
> For change management
> For project management
> For test management
> … and many more uses
Why Traceability?
Image: FreeDigitalPhotos.net
![Page 21: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/21.jpg)
23
> Traceability is not self-serving!
> Outdated/missing/incorrect traceability can be worse than none!
> Effective traceability needs integration
Traceability: End or Means?
Image: FreeDigitalPhotos.net
![Page 22: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/22.jpg)
24
> Approach developed as part of research
> Traceability between requirements and formal specification
> Goal: Achieve consistency between requirements and (partly formal) specification
> Principle applies to other processes and integrations
Hallerstede, Jastram, Ladenberger: “A Method and Tool for Tracing Requirements into Specifications”, Science of Computer Programming (Submitted), 2012
http://www.stups.uni-duesseldorf.de/w/Special:Publication/HalJasLad2012
An Academic Example
Image: FreeDigitalPhotos.net
![Page 23: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/23.jpg)
25
> Formalism / Method for discrete System Modeling
> State-based
> Support of invariants
> Proof Obligations for consistency of invariants
> Targeted at the embedded market
> Tools support via Rodin Platform
Event-B
![Page 24: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/24.jpg)
Demo 2Of the Integration of ProR (Requirements) and Rodin (Event-B Models)
![Page 25: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/25.jpg)
28
> RMF 0.3.0 got released on June 16th
> Tool interoperability via ProSTEP implementor forum
> Integration with Topcased planned (UML/SysML)
> Protoypical Xtext Integration exists
> Academic and commercial use being expanded
> We eat our dogfood!
The Future
Image: FreeDigitalPhotos.net
![Page 26: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/26.jpg)
29
> Completes Eclipse tool chain for Systems Engineering
> “Better than Word, cheaper than Doors”
> Ready to be used
> Interoperability thanks to ReqIF
What's in for You?
Image: FreeDigitalPhotos.net
![Page 27: Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework](https://reader033.vdocument.in/reader033/viewer/2022051210/54bde1ec4a795902728b45e7/html5/thumbnails/27.jpg)
Thank you!Questions, Comments, and Constructive Criticism Welcome!
Requirements Modeling Framework
http://eclipse.com/rmf
ProR GUI for Requirements
http://eclipse.com/rmf/pror
RMF news via the
Formal Minds blog
and newsletter:
http://formalmind.com/
newsletter/subscriptions