Active Program Analysis Using Rule-Based Modification and Aspectation
Active
programs behave based on occurrence of events and therefore they facilitate capturing
events and states. The active system is a rule-based system and we use
event-condition-action rules to show active rules. Thus, defining active
behavior is facilitated by event-condition-action rules. An active system,
forming a runtime environment, sets a trap to catch runtime events and then
check them by the rules. The rules appear in form of event-condition-action.
Exploiting active programs as event based environments and using event-condition-action
rules are main contributions of our approach. In this paper, we propose a new
approach based on a bipartite framework exploiting capabilities of active
systems. We apply our approach to a classical Abstract Data Type (ADT), stack,
and express how one can use an active environment for observance tracking the
stack.
Active Program Analysis Using Rule-Based Modification and Aspectation.
-
Active Program Analysis Using Rule-Based Modification and Aspectation.
Autori:
Seyed Morteza
Babamir
[1]
[1]
University of Kashan
Rezumat
Active
programs behave based on occurrence of events and therefore they facilitate capturing
events and states. The active system is a rule-based system and we use
event-condition-action rules to show active rules. Thus, defining active
behavior is facilitated by event-condition-action rules. An active system,
forming a runtime environment, sets a trap to catch runtime events and then
check them by the rules. The rules appear in form of event-condition-action.
Exploiting active programs as event based environments and using event-condition-action
rules are main contributions of our approach. In this paper, we propose a new
approach based on a bipartite framework exploiting capabilities of active
systems. We apply our approach to a classical Abstract Data Type (ADT), stack,
and express how one can use an active environment for observance tracking the
stack.
Cuvinte cheie:
Active system, event-condition-action rule, program modification, aspect-oriented
Evaluarea articolului: