# Domain Model

> A formal definition of the business concepts, rules and invariants of one context, written as types with behavior.

Record: `architecture:domain-model`
Kind: artifact
Layer: [Domain Modeling](https://banes-lab.com/records/layer/domain-modeling.md)
Severity: contextual
Scope: domain, bounded context
Canonical: https://banes-lab.com/ontology#architecture-domain-model

Listed in [Architecture principles](https://banes-lab.com/api/records/architecture.md), after [Domain-Driven Design (DDD)](https://banes-lab.com/records/architecture/domain-driven-design.md) and before [Bounded Context](https://banes-lab.com/records/architecture/bounded-context.md).

## Repair

- Refactored by: Move Logic to Domain, Add Value Object, Add Aggregate
- Detected by: procedural domain logic in services/controllers
- Violated by: business rules outside domain objects/services
- Measured by: rule locality, invariant coverage
- Enforced by: domain layer rules, [tests](https://banes-lab.com/records/lexicon/tests.md)

## Requires

- [Ubiquitous Language](https://banes-lab.com/records/architecture/ubiquitous-language.md)
- [Invariant](https://banes-lab.com/records/architecture/invariant.md)

## Reinforces

- [Correctness](https://banes-lab.com/records/architecture/correctness.md)
- [Semantic Contracts](https://banes-lab.com/records/architecture/semantic-contracts.md)

## Enables

- [Business Rule Encapsulation](https://banes-lab.com/records/lexicon/business-rule-encapsulation.md)

## Conflicts with

- [Anemic Model](https://banes-lab.com/records/lexicon/anemic-model.md)

## In tension with

- [Persistence Simplicity](https://banes-lab.com/records/lexicon/persistence-simplicity.md)

## Tensions

- [Domain Model / Persistence Simplicity](https://banes-lab.com/records/tension/domain-model-persistence-simplicity.md)

## Severity

- [contextual](https://banes-lab.com/records/vocabulary/severity-contextual.md)

## Category

- [Domain Architecture](https://banes-lab.com/records/architecture-category/domain-architecture.md)

## Reinforced by

- [Domain-Driven Design](https://banes-lab.com/records/architecture/domain-driven-design.md)
- [Entity](https://banes-lab.com/records/architecture/entity.md)

## Required by

- [Domain Service](https://banes-lab.com/records/architecture/domain-service.md)
- [Domain Events](https://banes-lab.com/records/architecture/domain-events.md)

## Linked from

- [Domain Architecture](https://banes-lab.com/ontology/principles/architecture-category-domain-architecture.md)
- [Contracts / Interfaces / Compatibility](https://banes-lab.com/ontology/principles/architecture-category-contracts-interfaces-compatibility.md)
- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [Event / Messaging / Asynchronous Architecture](https://banes-lab.com/ontology/principles/architecture-category-event-messaging-asynchronous-architecture.md)
- [Schema / Canonical Data / Semantics](https://banes-lab.com/ontology/principles/architecture-category-schema-canonical-data-semantics.md)
- [Domain Architecture](https://banes-lab.com/ontology/lexicon/lexicon-category-domain-architecture.md)
- [Severity levels](https://banes-lab.com/ontology/schema/the-vocabulary-severity.md)
- [The resolutions](https://banes-lab.com/ontology/schema/the-resolutions.md)