APICe » Publications » Specification and Analysis of System Architecture Using Rapide

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}