Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
An Introduction to Requirements Knowledge Read chapter Read first chapter

2013 | OriginalPaper | Chapter

16. The Eclipse Requirements Modeling Framework

Author : M. Jastram

Published in: Managing Requirements Knowledge

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter is concerned with the Requirements Modeling Framework (RMF) (http://eclipse.org/rmf), an Eclipse-based open-source platform for requirements engineering. The core of RMF is based on the emerging Requirements Interchange Format (ReqIF), which is an OMG standard [1]. The project uses ReqIF as the central data model. At the time of this writing, RMF was the only open-source implementation of the ReqIF data model.
By being based on an open standard that is currently gaining industry support, RMF can act as an interface to existing requirements management tools. Further, by based on the Eclipse platform, integration with existing Eclipse-based offerings is possible.
In this chapter, we will describe the architecture of the RMF project, as well as the underlying ReqIF standard. Further, we give an overview of the GUI, which is called ProR. A key strength of RMF and ProR is the extensibility, and we present the integration ProR with Rodin, which allows traceability between natural language requirements and Event-B formal models.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Experience-Based Requirements Engineering Tools
next chapter Managing Requirements Knowledge: Conclusion and Outlook
Footnotes
5
To be precise, whether the controller is aware of the temperature or not depends on where the line is drawn between system and environment. In this simple example, the sensor is not part of the system (the controller).
 
7
At the time of its creation, the format was called RIF and only later on, renamed into ReqIF.
 
Literature
1.
2.
Jastram M, Graf A (2011) Requirement traceability in topcased with the requirements interchange format (RIF/ReqIF). First Topcased Days Toulouse
3.
IEEE (1997) Recommended practice for software requirements specifications. Technical Report IEEE Std 830–1998, IEEE
4.
Kruchten P (2004) The rational unified process: an introduction. Addison-Wesley, Boston
5.
Gunter CA, Jackson M, Gunter EL, Zave P (2000) A reference model for requirements and specifications. IEEE Softw 17:37–43
6.
Jackson M (2001) Problem frames: analysing and structuring software development problems. Addison-Wesley/ACM Press, Harlow/New York
7.
Darimont R, Delor E, Massonet P, van Lamsweerde A (1997) GRAIL/KAOS: an environment for goal-driven requirements engineering. In: Proceedings of the 19th international conference on software engineering, ACM, Boston, MA, USA, pp 612–613
8.
Parnas DL, Madey J (1995) Functional documents for computer systems. Sci Comp Program 25(1):41–61CrossRef
9.
Van Lamsweerde A et al. (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings of the 5th IEEE international symposium on requirements engineering, Toronto, Canada, vol 249, p 263
10.
Clarke E, Wing J (1996) Formal methods: state of the art and future directions. ACM Comput Surv (CSUR) 28(4):626–643CrossRef
11.
Gotel O, Finkelstein A (1994) An analysis of the requirements traceability problem. In: Proceedings of the first international conference on requirements engineering, Colorado Springs, CO, U.S.A., p 94101
12.
Jastram M, Hallerstede S, Leuschel M, Russo AG Jr (2010) An approach of requirements tracing in formal refinement. In: VSTTE. Springer, Edinburgh, Scotland
13.
Steinberg D, Budinsky F, Peternostro M, Merks E (2009) EMF eclipse modeling framework, 2nd edn. Addison-Wesley, Upper Saddle River
14.
15.
Coleman J, Jones C, Oliver I, Romanovsky A, Troubitsyna E (2005) RODIN (rigorous open development environment for complex systems). EDCC-5, Budapest, Supplementary Volume p 2326
16.
Jastram M, Graf A (2011) Requirements modeling framework. Eclipse magazine 6.11
17.
Jastram M, Hallerstede S, Ladenberger L (2011) Mixing formal and informal model elements for tracing requirements. In: Automated Verification of Critical Systems (AVoCS), Newcastle / UK
18.
Jastram M, Graf A (2011) Requirements, traceability and DSLs in eclipse with the requirements interchange format (RIF/ReqIF). In: Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII. fortiss GmbH, Dagstuhl, Germany
19.
Efftinge S, Völter M (2006) oAW xText: a framework for textual DSLs. In: Workshop on modeling symposium at eclipse summit, Esslingen, Germany, vol 32
Metadata
Title
The Eclipse Requirements Modeling Framework
Author
M. Jastram
Copyright Year
2013
Publisher
Springer Berlin Heidelberg
Book
Managing Requirements Knowledge

Print ISBN: 978-3-642-34418-3

Electronic ISBN: 978-3-642-34419-0

Copyright Year: 2013

DOI
https://doi.org/10.1007/978-3-642-34419-0_16

Premium Partner

    Image Credits