Specification and analysis of system architecture using Rapide：（规范和使用主系统架构分析）.pdfVIP

1 Sp ecication and Analysis of System Architecture Using Rapide David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann A bstract| Rapide is an event-based concurrent, ob ject- The architecture denition features of Rapide are then oriented language sp ecically designed for prototyping sys- describ ed in Section IV. These features include the event- tem architectures. Two principle design goals are (1) to pro- vide constructs for dening executable prototyp es of archi- based p oset execution mo del (Section IV-A), event patterns tectures, and (2) to adopt an execution mo del in which the (Section IV-E), interface types (Section IV-B), architec- concurrency, synchronization, data ow, and timing prop er- ture connections (Section IV-C), formal c onstraints (Sec- ties of a prototyp e are explicitly represented . This pap er tion IV-F) and p attern mappings (Section IV-C.2). Sec- describ es the partially ordered event set (p oset) execution mo del and outlines with examples some of the event-based tion V illustrates the use of these features on an example features for dening comm unication architectures and rela- of an industry standard, the X/Op en distributed transac- tionships b etween architectures. Various features of Rapide tion pro cessing architecture, expressed in Rapide . The are illustrated by excerpts from a prototyp e of the X/Op en distributed transaction pro cessing reference architecture. X/Op en example has b een chosen in order to show the ap-