Issue No. 11 - November (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.60312
<p>RSF is a formalism for specifying and prototyping systems with time constraints. Specifications are given via a set of transition rules. The application of a transition rule is dependent upon certain events. The occurrence times of the events and the data associated with them must satisfy given properties. As a consequence of the application of a rule, some events are generated and others are scheduled to occur in the future, after given intervals of time. Specifications can be queried, and the computation of answers to queries provides a generalized form of rapid prototyping. Executability is obtained by mapping the RSF rules into logic programming. The rationale, a definition of the formalism, the execution techniques which support the general notion of rapid prototyping and a few examples of its use are presented.</p>
RSF; formalism; executable requirement specifications; time constraints; transition rules; events; occurrence times; answers; queries; rapid prototyping; logic programming; software prototyping
G. Ferrari, M. Degl'Innocenti, G. Pacini and F. Turini, "RSF: A Formalism for Executable Requirement Specifications," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 1235-1246, 1990.