“…There are several approaches aiming to validate standardized engineering models enriched with OCL constraints [58] by relying upon different back-end logic-based approaches such as constraint logic programming [36], [59], [60], SAT-based model finders (like Alloy) [7], [16], [35], [50], [51], [61], [62], [63], CSP solvers [64], first-order logic [65], constructive query containment [66] or higher-order logic [67]. Partial snapshots and WF constraints can be uniformly represented as constraints [7].…”