Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures

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.