1. A computer-implemented method comprising: accessing a model of a modeled component, the model comprising a property, a derived property, and a constraint, wherein the property defines a data element of the modeled component, wherein the derived property comprises a programmatic expression defining a function of an input parameter comprising data stored via the property, wherein the constraint comprises a condition to be met by a value of the derived property; generating an in-memory representation of the modeled component, the in-memory representation comprising a data structure corresponding to the property, a data structure corresponding to the derived property, and a functional component comprising code configured to access the input parameter determine the value of the derived property, and evaluate data stored in the data structure corresponding to the derived property against the constraint and store data representing whether the constraint is satisfied.