• Publications
  • Influence
Correction to "Specification and Analysis of System Architecture Using Rapide"
TLDR
This paper describes the partially ordered event set (poset) execution model and outlines with examples some of the event-based features for defining communication architectures and relationships between architectures. Expand
  • 559
  • 31
  • PDF
The Power of Events
  • 249
  • 29
An Event-Based Architecture Definition Language
TLDR
This paper discusses general requirements for architecture definition languages, and describes the syntax and semantics of the subset of the Rapide language that is designed to satisfy these requirements. Expand
  • 583
  • 25
  • PDF
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events
  • D. Luckham
  • Computer Science
  • Partial Order Methods in Verification
  • 1 February 1997
TLDR
This paper describes the RAPIDE concepts of system architecture, causal event simulation, and some of the tools for viewing and analysis of causal event simulations. Expand
  • 173
  • 18
  • PDF
Event Processing for Business: Organizing the Real-Time Enterprise
• Explains how sense and response architectures are being applied with tremendous results to businesses throughout the world and shows businesses how they can get started implementing EP • Shows howExpand
  • 158
  • 16
On Formalised Computer Programs
TLDR
In [2] Ianov introduced a simple abstract model of a computer program (called a program schema) based on the notion of a program as a finite linear sequence of instructions of two types: computational instructions and conditional binary transfer instructions. Expand
  • 211
  • 7
Complex Event Processing in Distributed Systems
TLDR
This paper presents an ove rview of Complex Event Processing applied to a particular example of a distributed message-based system, a fabrication process management system. Expand
  • 118
  • 7
  • PDF
ANNA A Language for Annotating Ada Programs
TLDR
Anna is a proposed language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs (or portions thereof) at all stages of program development. Expand
  • 141
  • 6
An Overview of Anna, a Specification Language for Ada
TLDR
The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need. Expand
  • 249
  • 4
  • PDF
Partial orderings of event sets and their application to prototyping concurrent, timed systems
TLDR
This paper describes the partially ordered event set (poset) computation model, the features of Rapide for using posets in reactive prototypes and for automatically checking posets. Expand
  • 91
  • 4
  • PDF