Articol Articol

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.

Studies in Informatics and Control

Volum 20 | Număr 4 | Publicat la 01/12/2011 | ISSN  1220-1766 | eISSN  1841-429X

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:

Cosul de Cumparaturi Cosul de Cumparaturi