D. Luckham

Publications
Influence

Correction to "Specification and Analysis of System Architecture Using Rapide"

D. Luckham, John J. Kenney, L. Augustin, J. Vera, D. Bryan, W. Mann
Computer Science
IEEE Trans. Software Eng.
1 April 1995

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

The Power of Events

D. Luckham
Computer Science
2002

An Event-Based Architecture Definition Language

D. Luckham, J. Vera
Computer Science
IEEE Trans. Software Eng.
1 September 1995

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

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

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

Event Processing for Business: Organizing the Real-Time Enterprise

D. Luckham
Business
21 October 2011

• 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 how… Expand

On Formalised Computer Programs

D. Luckham, D. Park, M. Paterson
Computer Science
J. Comput. Syst. Sci.
1 June 1970

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

Complex Event Processing in Distributed Systems

D. Luckham, Brian Frasca
Computer Science
1998

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

ANNA A Language for Annotating Ada Programs

D. Luckham, F. V. Henke, B. Krieg-Brückner, Olaf Owe
Computer Science
Lecture Notes in Computer Science
1 July 1984

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

An Overview of Anna, a Specification Language for Ada

D. Luckham, F. V. Henke
Computer Science
IEEE Software
1 March 1985

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

Partial orderings of event sets and their application to prototyping concurrent, timed systems

D. Luckham, J. Vera, D. Bryan, L. Augustin, F. Belz
Computer Science, Mathematics
J. Syst. Softw.
1 June 1993

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

Recommended Authors