Requirements Modeling Framework

Eclipse Requirements Modeling Framework



Stable release	0.10.0 or 0.14.0, depending on the eclipse version / unknown

Operating system	cross-platform
Platform	Eclipse
Type	Computer-aided software engineering
License	Eclipse Public License
Website	eclipse.org

The Requirements Modeling Framework (RMF) is an open-source software framework for working with requirements based on the ReqIF standard. RMF consists of a core allowing reading, writing and manipulating ReqIF data, and a user interface allowing to inspect and edit request data.

RMF is the first and, currently, the only open-source reference implementation of the ReqIF standards. Noteworthy is the fact that RMF has already been deployed in the ProStep ReqIF Implementor Forum in order to ensure the interoperability of the commercial implementation. Since 2011 there have been reports in the German and in the international press about RMF.

History

RMF has been in development under the name ProR since 2009 in the scope of the DEPLOY research project, collaborative efforts quickly developed with the research project Verde resulting in significant acceleration of development. At this point, the data model is based on RIF, the predecessor of ReqIF.

In June 2011, a proposal was created to transform the code into an Eclipse Foundation project. This proposal was adopted in November 2011. A part of the migration to the Eclipse Foundation was the conversion of RIF to the current version of ReqIF 1.0.1.

In the spring of 2012 DEPLOY and Verde opted out of the research projects. Nevertheless, RMF keeps on evolving, within the framework of the research project Advance. From Formal Mind free extensions to ProR under the name ProR Essentials are developed.

Currently neither version 0.14 nor 0.13 can be integrated into the latest version of eclipse, neither ProR nor RMF. Only version 0.10.0 remains, reasons for that are unknown. Version 0.13 (from the release folder) and version 0.14 (from the latest folder) can be integrated into eclipse version "Mars.2 Release (4.5.2)".

Functionality

The RMF core allows for storing, writing, validating and manipulating ReqIF files. The manipulation of data is implemented programmatically using EMF.

ProR additionally enables the interactive creation, inspecting and editing of ReqIF models. The requirements are then presented in configurable tables. Links between requirements can be created via Drag & Drop, or through context menus.

Integration with other tools

ProR is designed for integration with other Eclipse-based tools. There is an extension point available, which makes it possible to integrate other available renderers and editors, or to react to Drag & Drop events from outside.

As part of DEPLOY and Advance, the integration of Event-B models was developed.

The TOPCASED -project has now, as suggested, integrated RMF.

Further integrations have been proposed or implemented in a prototype.

References

ReqIF Implementor Forum, ProSTEP website, accessed on May 28, 2013
Michael Jastram, Andreas Graf: Requirements Modeling Framework. In: Eclipse Magazin, 6.11, 2011
Michael Jastram, Mark Brörkens: ReqIF in der Open Source: Das Eclipse Requirements Modeling Framework Archived 2012-10-02 at the Wayback Machine. In: ReConf 2012
Michael Jastram Christof Ebert: ReqIF: Seamless Requirements Interchange Format between Business Partners. In: IEEE Software, 2012
FP7 Deploy Research Project, Homepage. Accessed on May 29, 2013
itea Verde Research Project, Homepage. Accessed on May 29, 2013
Michael Jastram: ProR, an Open Source Platform for Requirements Engineering based on RIF. In: SeisConf 2010
RMF Proposal, Eclipse Homepage. Accessed on May 29, 2013
FP7 Advance Research Project, Homepage. Accessed on May 29, 2013
Formal Mind GmbH, Homepage. Accessed on May 29, 2013
Michael Jastram: ReqIF-olution: Mit Eclipse und ReqIF zur Open-Source ALM-Werkzeugkette. In: ObjektSpektrum 3/2013
Bug 539645 - Plugin can not be installed, Bugticket proofing obsolescence of the project. Accessed on September 29, 2018
Integration für Event-B-Modelle, Event-B Homepage. Accessed on May 29, 2013
Hallerstede, Stefan; Jastram, Michael; Ladenberger, Lukas (2013). "A Method and Tool for Tracing Requirements into Specifications" (PDF). Science of Computer Programming. 82: 2–21. doi:10.1016/j.scico.2013.03.008.
Michael Jastram, Andreas Graf: Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF). In: First Topcased Days Toulouse, 2011
Michael Jastram: The ProR Approach: Traceability of Requirements and System Descriptions. In: Inaugural-Dissertation, 2012

External links

v t e Computer science
Note: This template roughly follows the 2012 ACM Computing Classification System.
Hardware	Printed circuit board Peripheral Integrated circuit Very Large Scale Integration Systems on Chip (SoCs) Energy consumption (Green computing) Electronic design automation Hardware acceleration Processor Size / Form
Computer systems organization	Computer architecture Computational complexity Dependability Embedded system Real-time computing
Networks	Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service
Software organization	Interpreter Middleware Virtual machine Operating system Software quality
Software notations and tools	Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository
Software development	Control variable Software development process Requirements analysis Software design Software construction Software deployment Software engineering Software maintenance Programming team Open-source model
Theory of computation	Model of computation Stochastic Formal language Automata theory Computability theory Computational complexity theory Logic Semantics
Algorithms	Algorithm design Analysis of algorithms Algorithmic efficiency Randomized algorithm Computational geometry
Mathematics of computing	Discrete mathematics Probability Statistics Mathematical software Information theory Mathematical analysis Numerical analysis Theoretical computer science
Information systems	Database management system Information storage systems Enterprise information system Social information systems Geographic information system Decision support system Process control system Multimedia information system Data mining Digital library Computing platform Digital marketing World Wide Web Information retrieval
Security	Cryptography Formal methods Security hacker Security services Intrusion detection system Hardware security Network security Information security Application security
Human–computer interaction	Interaction design Social computing Ubiquitous computing Visualization Accessibility
Concurrency	Concurrent computing Parallel computing Distributed computing Multithreading Multiprocessing
Artificial intelligence	Natural language processing Knowledge representation and reasoning Computer vision Automated planning and scheduling Search methodology Control method Philosophy of artificial intelligence Distributed artificial intelligence
Machine learning	Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation
Graphics	Animation Rendering Photograph manipulation Graphics processing unit Mixed reality Virtual reality Image compression Solid modeling
Applied computing	Quantum Computing E-commerce Enterprise software Computational mathematics Computational physics Computational chemistry Computational biology Computational social science Computational engineering Differentiable computing Computational healthcare Digital art Electronic publishing Cyberwarfare Electronic voting Video games Word processing Operations research Educational technology Document management
Category Outline Glossaries

Software engineering

Fields

Concepts

Orientations

Models

Developmental	Agile EUP Executable UML Incremental model Iterative model Prototype model RAD UP Scrum Spiral model V-model Waterfall model XP Model-driven engineering Round-trip engineering
Other	SPICE CMMI Data model ER model Function model Information model Metamodeling Object model Systems model View model
Languages	IDEF UML USL SysML

Related fields

v t e Systems engineering
Subfields	Aerospace engineering Biological systems engineering Cognitive systems engineering Configuration management Earth systems engineering and management Electrical engineering Enterprise systems engineering Health systems engineering Performance engineering Reliability engineering Safety engineering Sociocultural Systems Engineering
Processes	Requirements engineering Functional specification System integration Verification and validation Design review System of systems engineering
Concepts	Business process Fault tolerance System System lifecycle V-Model Systems development life cycle
Tools	Decision-making Function modelling IDEF Optimization Quality function deployment System dynamics Systems Modeling Language Systems analysis Systems modeling Work breakdown structure
People	James S. Albus Ruzena Bajcsy Benjamin S. Blanchard Wernher von Braun Kathleen Carley Harold Chestnut Wolt Fabrycky Barbara Grosz Arthur David Hall III Derek Hitchins Robert E. Machol Radhika Nagpal Simon Ramo Joseph Francis Shea Katia Sycara Manuela M. Veloso John N. Warfield
Related fields	Control engineering Computer engineering Industrial engineering Operations research Project management Quality management Risk management Software engineering
Category

Categories: