# Formal Model

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

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

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Toolchain Complexity](https://banes-lab.com/records/lexicon/toolchain-complexity.md) and before [Generated Implementations](https://banes-lab.com/records/lexicon/generated-implementations.md).

## Category

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

## Required by

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

## Linked from

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