Abstractions and models