Now we proceed to translate the informal picture of target document construction into a model which describes document construction as composed of three primitive operations orchestrated by simple rules of iteration, invocation and value passing. The crucial operations are mappings of an input sequence of nodes to an output sequence of nodes. As nodes can be perceived as places, such mappings may be viewed as navigations – hence we call the model a source navigation based model.