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

  • David C. Luckham
Session A-2: Distributed Component-ware
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1368)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • David C. Luckham
    • 1
  1. 1.Program Analysis and Verification Group Computer Systems LabStanford UniversityStanfordUSA

Personalised recommendations