Session A-2: Distributed Component-ware

Worldwide Computing and Its Applications — WWCA'98

Volume 1368 of the series Lecture Notes in Computer Science pp 88-96


Rapide: A language and toolset for causal event modelling of distributed system architectures

  • David C. LuckhamAffiliated withProgram Analysis and Verification Group Computer Systems Lab, Stanford University

* Final gross prices may vary according to local VAT.

Get Access


This paper describes some of the features of Rapide, a language for modelling architectures of distributed systems. Rapide is an event-based architecture definition language. It has a semantics based on causally related events. Simulations of models in Rapide generate causal event histories which can be checked for correctness using event pattern constraints, or can be viewed and analysed by means of the Rapide toolset.