Abstraction and odeling