Specification and analysis of system architecture using Rapide

• Published in: IEEE transactions on software engineering Vol. 21; no. 4; pp. 336 - 354
• Main Authors: Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.
• Format: Journal Article
• Language: English
• Published: New York, NY IEEE 01.04.1995; Institute of Electrical and Electronics Engineers; IEEE Computer Society
• Subjects: Analytical models; Applied sciences; Behavior; Communication; Computer architecture; Computer languages; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Concurrent computing; Design; Desktop publishing; Discrete event simulation; Exact sciences and technology; Interfaces; Language; Object oriented modeling; Prototypes; Simulation; Software; Software engineering; Specifications; Studies; System testing; Systems development; Timing; Virtual prototyping; Data definition language; System architecture; Specification language; Ordered set; Synchronization; Distributed processing; Partially ordered set; Programming language; Object oriented; Timing; Causality; System analysis; Communication
• ISSN: 0098-5589; 1939-3520
• DOI: 10.1109/32.385971

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.< >