Active Program Analysis Using Rule-Based Modification and Aspectation

Seyed Morteza BABAMIR
Department of Computer Engineering, University of Kashan
Kashan, Iran

Abstract:

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.

Keywords:

Active system, event-condition-action rule, program modification, aspect-oriented.

>>Full text
CITE THIS PAPER AS:
Seyed Morteza BABAMIR, Active Program Analysis Using Rule-Based Modification and Aspectation, Studies in Informatics and Control, ISSN 1220-1766, vol. 20 (4), pp. 381-392, 2011. https://doi.org/10.24846/v20i4y201106