Rapide: A language and toolset for simulation of distributed systems by partial orderings of events

Abstract

This paper describes the Rapide concepts of system architecture, causal event simulation, and some of the tools for viewing and analysis of causal event simulations. Illustration of the language and tools is given by a detailed small example. 1 Introduction Rapide-1.0 LKA + 95 , LV95 is a computer language for de ning and executing models of system architectures. The result of executing a Rapide model is a set of events that occurred during the execution together with causal and timing relationships between events. The production of causal history as a simulation result is, at present, unique to Rapide among event-based languages. Sets of events with causal histories are called posets partially ordered event sets. 1 Simulators that produce posets provide many new opportunities for analysis of models of distributed and concurrent systems. Rapide-1.0 is structured as a set of languages consisting of the Types, Patterns, Architecture, Constraint, and Executable Module languages. This set of languages is called the Rapide language framework. The purpose of the framework is twofold: i to encourage multi-language systems, ii to de ne language components that may be applied to, or migrated into, other event generating systems. Towards i, w e a n ticipate that the Executable Module, Constraint o r A r c hitecture sublanguages may b e c hanged in fairly substantial ways, and that the Executable Module and Constraint sublanguages may b e i n terchanged with other languages provided certain compatibility requirements are met. Towards ii, for example, the use of constraints expressed in terms of event patterns will have many applications to systems that generate events, not just the Rapide simulator. Such applications could include monitoring distributed object systems based on CORBA or other commercial middleware for security, for conformance to standards, and for many other properties. The Types language provides the basic features for de ning interface types and function types, and for deriving new interface type de nitions by inheritance from previous ones. Its semantics This project is funded by D ARPA under ONR contract N00014-92-J-1928 and AFOSR under Grant AFOSR91-0354

On consistency maintenance in service discovery

“…We use Rapide [4], an Architectural Description Language and tool suite to build an executable model of FRODO. Rapide is designed to support componentbased development of systems by utilizing architecture definitions as the development framework.…”

Web platform architecture for ambient assisted living

“…In the paper [10] is presented a way to monitor human behavior based on complex event processing (CEP) solution. The advantage of CEP technique is the power to process a high volume of events in near real-time [25]. Based on row events received from the elderly's environment, the CEP engine detects and takes proper decisions in order to increase the elderly's safety.…”

Behavior Drift Detection Based on Anomalies Identification in Home Living Quantitative Indicators

“…Rapide [28] is one of the first CEP engines which is capable to process data according to the history and the relationships among events. It exploits a set of operators like conjunction, disjunction, negation, sequence and iteration to create patterns.…”