Abstraction and ModelingÂ