Difference between revisions of "ReqsManagement"

From Event-B
Jump to navigationJump to search
imported>Laurent
m (Typos)
imported>Jastram
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
== Description ==
+
== Requirements support now via ProR ==
 +
 
 +
The Requirements Plugin described here is deprecated and will not be developed further.  Instead, the ProR platform is actively being developed.
 +
 
 +
ProR is documented at [http://pror.org pror.org]
 +
 
 +
== Overview ==
 +
 
 +
Requirements Management is a crucial aspect of system development.  Even a proven B-Model is useless if it doesn't realize the desired requirements.  The objective of the requirements plug-in is to allow traceability between requirements and Event-B Models.
  
 
The Requirements Plugin...
 
The Requirements Plugin...
Line 10: Line 18:
  
 
* A Requirements Project manages Links between individual requirements and the Event-B Specification.
 
* A Requirements Project manages Links between individual requirements and the Event-B Specification.
 
== Status ==
 
 
(as of 10-Nov-08) The Requirements Plug-In is usable, but broken for Rodin 0.9.0.  It is currently being fixed.  Once fixed, it can be installed through the ProB-Update-Site.
 
  
 
== User Documentation ==
 
== User Documentation ==
  
You find the User Documentation [[Requirements Tutorial|here]].
+
You find the User Documentation in the form of a [[Requirements Tutorial]].
  
 
== Developer Documentation ==
 
== Developer Documentation ==
Line 25: Line 29:
 
=== Architecture ===
 
=== Architecture ===
  
The "Connection" between a Requirements Document (managed and edited outside Rodin) and an Event-B Machine is a .req file.  This file can manage any number of Requirements Documents.
+
[[Image:rodin-requirements.png|right]]
 +
 
 +
In order to manage Requirements in Rodin, a Requirements Map must be created.  This Map is part of a Project.  It keeps track of Requirements Documents that are managed outside of Rodin.  Currently, Plain Text, Latex and OpenOffice are supported.
 +
 
 +
Each Requirements Document is broken into Requirements.  Within Rodin, only textual Requirements are visible and Formatting is lost.  Individual Requirements can then be marked as relevant and fulfilled, and can be linked with individual Event-B-Elements.
 +
 
 +
All additional information (links, fulfillment information, etc.) is stored in the Map, nothing is stored in the Requirements Documents or Event-B.
 +
 
 +
More than one Map can be created.  This could be useful for different relationships, e.g. "fulfills", "tests", etc.
  
 
=== Package Structure ===
 
=== Package Structure ===
Line 36: Line 48:
  
 
[[Category:User documentation]]
 
[[Category:User documentation]]
[[Category:Developer documentation]]
+
[[Category:Design proposal]]
 
[[Category:Requirement Plugin]]
 
[[Category:Requirement Plugin]]

Latest revision as of 14:16, 3 December 2010

Requirements support now via ProR

The Requirements Plugin described here is deprecated and will not be developed further. Instead, the ProR platform is actively being developed.

ProR is documented at pror.org

Overview

Requirements Management is a crucial aspect of system development. Even a proven B-Model is useless if it doesn't realize the desired requirements. The objective of the requirements plug-in is to allow traceability between requirements and Event-B Models.

The Requirements Plugin...

  • Manages Text-Based Requirements
  • Requirements are managed and edited in an external Tool (currently Latex, Plain Text or OpenOffice)
  • Multiple Requirement Specifications can be managed in a Requirements Project.
  • A Requirements Project manages Links between individual requirements and the Event-B Specification.

User Documentation

You find the User Documentation in the form of a Requirements Tutorial.

Developer Documentation

The Requirements Plug-in has the plug-in ID fr.systerel.reqsmgr

Architecture

Rodin-requirements.png

In order to manage Requirements in Rodin, a Requirements Map must be created. This Map is part of a Project. It keeps track of Requirements Documents that are managed outside of Rodin. Currently, Plain Text, Latex and OpenOffice are supported.

Each Requirements Document is broken into Requirements. Within Rodin, only textual Requirements are visible and Formatting is lost. Individual Requirements can then be marked as relevant and fulfilled, and can be linked with individual Event-B-Elements.

All additional information (links, fulfillment information, etc.) is stored in the Map, nothing is stored in the Requirements Documents or Event-B.

More than one Map can be created. This could be useful for different relationships, e.g. "fulfills", "tests", etc.

Package Structure

The package name space is fr.systerel.reqsmgr

  • The elements package contains the interfaces to the entities inside Rodin, which are Associations, Documents and Requirements. The elements.basis package provides implementations of these interfaces. This package is a good starting point for understanding the data structures.
  • The external_docs package contains the interfaces to entities outside Rodin, which are Document, ExternalRequirement, etc.