Foundations of logic programming
Foundations of logic programming
Logic programming: functions, relations, and equations
Logic programming: functions, relations, and equations
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
A logic-based calculus of events
New Generation Computing
RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Current trends in concurrency. Overviews and tutorials
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
On the SUP-INF Method for Proving Presburger Formulas
Journal of the ACM (JACM)
The operational versus the conventional approach to software development
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
ASPIS: A Knowledge-Based CASE Environment
IEEE Software
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Using symbolic execution to characterize behavior
Proceedings of the workshop on Rapid prototyping
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Quality assurance through direct implementation of analysis and design constructs
ACM SIGSOFT Software Engineering Notes
The use of a software specification metalanguage
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Specifying reactive systems with attributed finite state machines
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Hi-index | 0.00 |
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.