Specification and Analysis of System Architecture Using Rapide

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

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.

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

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}
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY