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

trait entity.greetable {
  uses entity.identity
  greetable can greet
  greetable can receive.greeting
  greeting is polite
}

docs {
  The entity.greetable trait defines behavior for entities that can
  participate in greetings. This trait:

  - uses entity.identity: requires the entity to have an identity
  - can greet: the entity can initiate a greeting
  - can receive.greeting: the entity can be greeted
  - is polite: greetings are courteous (invariant)

  The "uses" keyword declares a dependency on another specification.
  The "can" keyword declares capabilities (what the entity can do).
  The "is" keyword declares a quality or invariant.
}