Detecting model inconsistency through operation-based model construction