A Rewriting Framework for Rule-Based Programming Dynamic Applications