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

@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}