казалось, что должна переформулироваться цель во что то абсолютно достигаемое, а не должно происходить формулирование первого конкретного шага

Вам было бы полезно потренироваться в формальном применении метамодели :)