Preface
|
Abstract:
Rapide-1.0 is a computer language for defining and executing models of system architectures. The result of executing a Rapide model is a set of events that occurred during the execution together with causal and timing relationships between events. The production of causal history as a simulation result is, at present, unique to Rapide among event-based languages. Sets of events with causal histories are called posets (partially ordered event sets). Simulators that produce posets provide many new opportunities for analysis of models of distributed and concurrent systems. Rapide-1.0 is structured as a set of languages consisting of the Types, Patterns, Architecture, Constraint, and Executable Module languages. This set of languages is called the Rapide language framework. The purpose of the framework is twofold: (i) to encourage multi-language systems, (ii) to define language components that may be applied to, or migrated into, other event generating systems. Towards (i), we anticipate that the Executable Module, Constraint or Architecture sublanguages may be changed in fairly substantial ways, and that the Executable Module and Constraint sublanguages may be interchanged with other languages provided certain compatibility
Citations
| 758 | A machine-oriented logic based on the resolution principle – ROBINSON - 1965 |
| 521 | Virtual time and global states of distributedsystems. Parallel and Distributed Algorithms – Mattern - 1989 |
| 163 | The Verilog Hardware Description Language – Thomas, Moorby - 1991 |
| 60 | An extension of Standard ML modules with subtyping and inheritance – Mitchell, Meldal, et al. - 1991 |
| 41 | Programming with Specifications: An Introduction to Anna, a Language for Specifying Ada Programs – Luckham - 1990 |
| 22 | Exploiting locality in maintaining potential causality – Meldal, Sankar, et al. - 1991 |
| 18 | Task sequencing language for specifying distributed ada systems – Luckham, Helmbold, et al. - 1987 |
| 1 | 24, BIBLIOGRAPHY 71 [Tea95] Rapide Design Team. The Rapide-1 Full Syntax Reference Manual. Program Analysis and Verification – January - 1995 |
