A magnetic resonance sequence model that is a formal description of a measurement sequence is used to automate measurement sequence programming. The sequence model allows a system-independent specification of the measurement sequence for execution in a magnetic resonance scanner. The sequence model is as formal as possible; it is limited to the minimum required information for description of a measurement sequence without limiting the flexibility in the sequence programming. A method for formal description of the measurement sequence describes the measurement sequence by a number of parameters to be parameterized. The parameterization of the measurement sequence can ensue automatically from the formalized description of the measurement sequence, except for a set of parameters that are still be determined. For automatic generation of an executable measurement sequence, the method determines the parameters to be determined using a solver, under consideration of boundary conditions, so that a consistent set of parameters is created that completely describes the measurement sequence. This complete description of parameter values of the measurement sequence is then be translated automatically into a programming language that can be directly executed in the magnetic resonance scanner.