ReqsManagement

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.