Goat modeling results in high quality comprehensiveness.
Goats are very well suited to refine the vision of the system.
Refining a goat is known as goat decomposition.
Goats can be documented using natural language or using goat models.
A widely known and very common goat modeling technique is the use of AND/OR trees.
In case of AND-decomposition, every sub-goat must be fulfilled so that super-goat is fulfilled.
