ABSTRACTION MODELING