The description of the software functions is in flat form. The breakdown (<sw-decomposition>) of the software function into details can be carried out by referencing other software functions. The multiple use of sub-functions is thus supported by this.