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
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
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).