Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering
arXiv:2604.05001v1 Announce Type: new Abstract: This paper proposes a functional foundation for model driven engineering that unifies model construction, metamodels, templates, and transformations under a single formalism: the model expression algebra. In this algebra, models are values, model expressions are terms, and evaluation is the interpretation homomorphism from terms to values. Model expressions are composed from four operators: model creation and element creation operators, reference operators for retrieving models and elements, and computation operators that embed functional computations. […]