dol 0.8.1

DOL (Design Ontology Language) - A declarative specification language for ontology-first development
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

system bounded.counter @0.1.0 {
  requires counter.state >= 0.0.1
  requires counter.countable >= 0.0.1
  requires counter.bounds_valid >= 0.0.1

  counter has persistence.strategy
  counter has overflow.policy
}

docs {
  The bounded.counter system composes genes, traits, and constraints
  into a complete, versioned component.

  Composition:
  - requires counter.state: has value, min, max properties
  - requires counter.countable: can increment, decrement, reset
  - requires counter.bounds_valid: guarantees value stays in bounds

  Additional system-level concerns:
  - persistence.strategy: how state is saved (memory, disk, etc.)
  - overflow.policy: what happens at bounds (saturate, wrap, error)

  The @ version (0.1.0) follows semver: major.minor.patch.
}