Отображение спецификаций, выраженных средствами ядра канонической модели, в язык AMNстатья