FOREST is a formal description technique for the specification of requirements, domain knowledge and machine behaviour of large systems. It consists of a real-time temporal logic, that has been extended by object-oriented and pattern-based concepts. FOREST was originally designed for building automation systems. But we believe that it is sufficiently flexible for other application domains. At least, it should be easily adaptable to other forms of reactive systems.
Natural language has no unique semantics. Therefore, FOREST relies on a formal description technique to improve the preciseness of a requirement specification. Nevertheless, the translation of formal statements to natural language is straight-forward, since the applied real-time temporal logic allows a property-oriented specification style. Object-orientation and requirement patterns support structuring and abstraction and enhance the reusability of specification parts.
FOREST integrates the following aspects:
|Superordinated page: FOREST - Formal Requirement Specification Technique|
|Go to the contact details of the person in charge of this page|
|This page in german. Diese Seite auf deutsch.|