Rapide是一种可执行的ADL，其目的在于通过定义并模拟基于事件的行为对分布式同步系统建模。