Definition and Instantiation of a Reference Model for Problem Specifications

M. Kronenburg , C. Peper

11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336


Based on the reference model for requirements and specifications of Jackson, Zave, et al., a reference model for problem specifications of reactive systems is defined. Considering the requirements specification technique FOREST, it is shown that both reference models can be instantiated using a real-time temporal logic and that they are compatible with structural concepts like inheritance and aggregation.

Full paper


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

This page in german. Diese Seite auf deutsch.