Abstract

Reactive applications are embedded software of reactive systems which continuously interact with their environments. In this paper, we aim to propose a method to dynamically checking reactive applications using event based rules. The rules formed in event-condition-action constitute the checker as an active program. In order to enjoy activeness, the checker actively reacts to environment events when they occur. The checker as an active system, in fact, catches runtime events and reacts to them. The effectiveness of the proposed method is shown by checking some properties in case study.

Key words: Dynamic checking, event based rule, active database, aspect-oriented.