Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework


Published on

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 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.

Published in: Economy & Finance, Technology
  • Be the first to comment

  • Be the first to like this

Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework

  1. 1. Tracing Requirementswith the Eclipse Requirements Modeling FrameworkMichael JastramFormal Mind GmbH / University of DüsseldorfJ11.2
  2. 2. AGENDA> Requirements & Tools Today> Requirements Modeling Framework (RMF)> Demo of ProR (GUI)> Traceability> Demo of Rodin Integration (Modeling)> Outlook 2
  3. 3. Is RMF for you? If … … you consider requirements important … you do Eclipse-based systems engineering … Word, Excel, Wiki just doesnt cut it for requirements … you are looking for an open, extensible requirements tool … then RMF may be what you were looking for the new s via og RMF l Minds bl a Form wsletter: e and n m/ in malm ions http ://for subscript / letter newsImage: 3
  4. 4. Michael Jastram> Cofounder Formal Mind GmbH Science for Systems Engineering> Completing PhD program (University of Düsseldorf) Focus on Requirements / Formal Models> Project Lead / Cofounder Eclipse Requirements Modeling Framework> Chairman / Founder rheinjug (Java User Group Düsseldorf) 4
  5. 5. RequirementsRequirements and Requirements Tools Today
  6. 6. Why Requirements?Image: 6
  7. 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? 7
  8. 8. A Few Approaches and Tooling Light Heavy V-Modell XT RUP/OpenUP Scrum & Co Ad Hoc Specialized Text and Web-based Anything Tool chains UMLImage: 9
  9. 9. Requirements in different Fields > Requirements for Software (Web, Desktop, etc.) – Small number – Complement Models > Requirements for Embedded Systems – Large Number – Part of ContractsImage: 10
  10. 10. 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 > AnalysisImage: 11
  11. 11. RMFThe Eclipse Requirements Modeling Framework
  12. 12. RMF Overview > 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 industryImage: ddpavumba / 13
  13. 13. RMF History> 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 Build December 2011 – January 2012> Following the Roadmap February 2012 – present Image: Salvatore Vuono / 14
  14. 14. Image: dream designs / RMF Architecture15
  15. 15. ReqIF Top Level16 Taken from OMG ReqIF 1.0.1 Specifcation Image:
  16. 16. ReqIF ContentTaken from OMG ReqIF 1.0.1 Specifcation 17Image:
  17. 17. ReqIF: Three Layers> 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 19
  18. 18. Demo 1Of the ProR Tool (GUI of RMF)
  19. 19. TraceabilityConnecting the dots within and beyond the requirements description
  20. 20. Why Traceability? > For reasoning (SysML: containment, derive, satisfy, verify, refine) > For change management > For project management > For test management > … and many more uses 22Image:
  21. 21. Traceability: End or Means? > Traceability is not self-serving! > Outdated/missing/incorrect traceability can be worse than none! > Effective traceability needs integration 23Image:
  22. 22. An Academic Example > 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 24Image:
  23. 23. Event-B> 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 25
  24. 24. Demo 2Of the Integration of ProR (Requirements) and Rodin (Event-B Models)
  25. 25. The Future > 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!Image: 28
  26. 26. Whats in for You? > Completes Eclipse tool chain for Systems Engineering > “Better than Word, cheaper than Doors” > Ready to be used > Interoperability thanks to ReqIFImage: 29
  27. 27. Thank you!Questions, Comments, and Constructive Criticism Welcome!Requirements Modeling Framework the new s via og RMF l Minds bl a Form wsletter: eProR GUI for Requirements and n m/ almin ns p://form ubscriptio htt tter/s n ewsle
  28. 28. Michael Jastram http://formalmind.comFormal Mind GmbH