# Formal Model

> A precise, machine-processable model of a system from which implementations are generated.

Record: `lex:formal-model`
Kind: model
Layer: [Declarative Core](https://banes-lab.com/records/layer/declarative-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-formal-model

## category

- [Metaprogramming / Language-Oriented Architecture](https://banes-lab.com/records/lex-category/metaprogramming-language-oriented-architecture.md)

## referenced-by

- [Model-Driven Architecture](https://banes-lab.com/records/arch/model-driven-architecture.md)