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

  • David C. Luckham
Session A-2: Distributed Component-ware

DOI: 10.1007/3-540-64216-1_42

Volume 1368 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Luckham D.C. (1998) Rapide: A language and toolset for causal event modelling of distributed system architectures. In: Masunaga Y., Katayama T., Tsukamoto M. (eds) Worldwide Computing and Its Applications — WWCA'98. WWCA 1998. Lecture Notes in Computer Science, vol 1368. Springer, Berlin, Heidelberg

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