Обсуждение

" Артефакт может "созревать" от неформального наброска в M-режиме (Mental model) до формально верифицированной системы в F-режиме (Formal realization)" Тут непонятно: набросок это скорее эпистема, описание. Система — это работающая система. Что такое "артефакт"? Что означает смена его типа в процессе "созревания"?

Там не столько смена типа, сколько смена состояния. Слово "артефакт" пока используется не слишком формально, как раз сейчас идёт пересмотр семантического треугольника на symbol как notation, а carrier отдельно. Пока же да, путаница некоторая. Там чёткие параллели намечаются с разделением в Essence альф (тут это получаются роли и их носители, в том числе роли эпистем) и рабочих продуктов (которые эпистемы, привязанные к носителям). У одних состояния "продвижения", и у других состояния "детализации". Но пока это мутновато, дальше постараюсь развести чётче.