Representing Operations with Models