The KAOS model, Figure \ref{fig:KAOS}, is a representation of how goals can be decomposed and synthesized into requirements and constraints that are handled by agents. Goals are depicted by parallelograms, with high level goals located near the top and low level goals towards the bottom. These goals are connected by connecting lines and can augmented with AND-refinement or Or-refinement operators, blue circles. If all connecting lines merge to into single circle than this these means all entities must be satisfied for the higher goal to be true. Otherwise, any entity can satisfy the goal. Agents are visualized as hexagons and can be external actors or internal components of the system.