Specification and Analysis of System Architecture Using Rapide


David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

IEEE Transactions on Software Engineering 21(4), pages 336-354, April 1995
IEEE Computer Society

Rapide is an event-based, concurrent, object-oriented language specifically designed for prototyping system architectures. Two principle design goals are: (1) to provide constructs for defining executable prototypes of architectures and (2) to adopt an execution model in which the concurrency, synchronization, dataflow, and timing properties of a prototype are explicitly represented. 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. Various features of Rapide are illustrated by excerpts from a prototype of the X/Open distributed transaction processing reference architecture.

 @article{rapide-tse21,
Author = {Luckham, David C. and Kenney, John J. and Augustin, Larry M. and Vera, James and Bryan, Doug and Mann, Walter},
Doi = {10.1109/32.385971},
Inspec-An = {4969551},
Issn = {0098-5589},
Journal = {IEEE Transactions on Software Engineering},
Month = apr,
Number = 4,
Pages = {336--354},
Publisher = {IEEE Computer Society},
Title = {Specification and Analysis of System Architecture Using {R}apide},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=385971},
Volume = 21,
Year = 1995
Tags:

Publication

— authors

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

— status

published

— sort

article in journal

Venue

— journal

IEEE Transactions on Software Engineering

— volume

21

— issue

4

— pages

336-354

— publication date

April 1995

URLs

original page

Identifiers

— DOI

10.1109/32.385971

— print ISSN

0098-5589

BibTeX

— BibTeX ID
rapide-tse21
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY