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

gen counter.state {
  counter has value
  counter has minimum
  counter has maximum
  counter derives from initialization
}

docs {
  The counter.state gen models a bounded counter. A counter has a current
  value, and bounds (minimum and maximum). The counter derives from an
  initialization value when created.

  Properties:
  - value: Current count (integer)
  - minimum: Lower bound (typically 0)
  - maximum: Upper bound (optional, may be unbounded)

  The "derives from" pattern indicates that the initial state comes from
  some configuration or initialization source.
}