RSF: a formalism for executable requirement specifications

Author

Degl´Innocenti, Michela ; Ferrari, Gian Luigi ; Pacini, Giuliano ; Turini, Franco

Author_Institution

Syst. & Mangae., Vocolo S Pierini, Pisa, Italy

Volume

16

Issue

11

fYear

1990

fDate

11/1/1990 12:00:00 AM

Firstpage

1235

Lastpage

1246

Abstract

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

Keywords

software prototyping; RSF; answers; events; executable requirement specifications; formalism; logic programming; occurrence times; queries; rapid prototyping; time constraints; transition rules; Functional programming; Logic programming; Power system management; Processor scheduling; Production systems; Prototypes; Software prototyping; Software systems; Specification languages; Time factors;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.60312

Filename

60312