An approach to automatically enforce object-oriented constraints. (2014)