The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1990 vol.16)
pp: 1235-1246
ABSTRACT
<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>
INDEX TERMS
RSF; formalism; executable requirement specifications; time constraints; transition rules; events; occurrence times; answers; queries; rapid prototyping; logic programming; software prototyping
CITATION
M. Degl'Innocenti, G.L. Ferrari, G. Pacini, F. Turini, "RSF: A Formalism for Executable Requirement Specifications", IEEE Transactions on Software Engineering, vol.16, no. 11, pp. 1235-1246, November 1990, doi:10.1109/32.60312
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool