Без заголовка

SADT ни разу не является рекомендуемым онтологическим языком (и я особо оговариваю на своих семинарах на неуместность использования SADT в 2016 году). В частности: а) SATD практически не является формализацией, это такой "псевдокод", и б) SADT формализует только один тип объектов, функциональный, в) SADT в силу (б) нещадно путается с формализацией шагов процессов, т.е. развёртками по времени, т.е. используется не для демонстрации декомпозиции функций, а для декомпозиции процессов, что просто неверно и ошибочно. Насчёт разбиения знаний на документированное на естественном языке и казуального -- тоже бы не согласился. Если казуальное (трансакционное), то не знание, а просто информация. Знания -- это такая информация, которая может быть использована в нескольких проектах, а не казуально. Опять же, многие тут путать будут два слова: казуально и каузально, поэтому я слова "казуальный" избегаю, а использую в одном случае "каузальный" (например, акаузальный язык имитационного моделирования Modelica) и трансакционный (как рекомендовано в ISO 15926).