SPECIFICATION AND ANALYSIS OF SYSTEM ARCHITECTURE USING RAPIDE

Rapide is an event-based, concurrent, object-oriented language specifi cally designed for prototyping system architectures. Two principle des ign goals are 1) to provide constructs for defining executable prototy pes of architectures and 2) to adopt an execution model in which the c oncurrency, synchronization, dataflow, and timing properties of a prot otype are explicitly represented. This paper describes the partially o rdered event set (poset) execution model and outlines with examples so me of the event-based features for defining communication architecture s and relationships between architectures. Various features of Rapide are illustrated by excerpts from a prototype of the X/Open distributed transaction processing reference architecture.