ReqsManagement: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jastram No edit summary |
imported>Laurent m Typos |
||
| Line 5: | Line 5: | ||
* Manages Text-Based Requirements | * Manages Text-Based Requirements | ||
* Requirements are managed and edited in an external Tool (currently Latex, Plain Text | * 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. | * Multiple Requirement Specifications can be managed in a Requirements Project. | ||
| Line 31: | Line 31: | ||
The package name space is fr.systerel.reqsmgr | The package name space is fr.systerel.reqsmgr | ||
* The | * 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 | * The external_docs package contains the interfaces to entities outside Rodin, which are Document, ExternalRequirement, etc. | ||
[[Category:User documentation]] | [[Category:User documentation]] | ||
[[Category:Developer documentation]] | [[Category:Developer documentation]] | ||
[[Category:Requirement Plugin]] | [[Category:Requirement Plugin]] | ||
Revision as of 14:03, 16 December 2008
Description
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.
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
You find the User Documentation here.
Developer Documentation
The Requirements Plug-in has the plug-in ID fr.systerel.reqsmgr
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.
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.
