A framework of a logic-based transformation system | IEEE Conference Publication | IEEE Xplore