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:

	Product Model
	Process Model
	Pattern Pool
	Tool

	Superordinated page: FOREST - Formal Requirement Specification Technique

	Feedback
	Go to the contact details of the person in charge of this page

	Deutsch
	This page in german. Diese Seite auf deutsch.