Monday , May 29 2023

Active Program Analysis Using Rule-Based Modification and Aspectation

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


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 system, event-condition-action rule, program modification, aspect-oriented.

>>Full text
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.