# The Diane+ Formalism

Diane+ formalism has been created by Jean-Claude Tarby and Marie-France Barthet
Within Tamot, we use Diane+H, which is a subset of Diane+.

Diane+ employs a graphical notation/diagram to represent each task, the hierarchical decomposition represented by links between tasks and sub-tasks, as well as temporal and logical relationships amongst the tasks represented by boolean connectors.