С этим можно согласиться в том плане, что включаемые ВИ и расширяющие ВИ разрешено не соединять ассоциациями с ДЛ, связанными с включающим или расширяемым ВИ.
Правомерность инклюдов / экстендов мне кажется разумным проверять по описаниям ВИ. Если от сценария "Создать отчёт" можно проложить дорожку к "Импортировать задачи", то так тому и быть.
Абстрактный ВИ описывает некую общую схему, которая сама по себе не реализуется (её экземпляр не может быть порождён), а лишь используется для удобства описания других ВИ -- своих наследников. В стандарте не проведена граница между абстрактным/конкретным ВИ и полностью описанным (=полным)/ не полностью описанным (=неполным) ВИ. Это ведёт к недопониманию вроде
такого.
ВИ с включениями по стандарту неполный, т. к. его описание содержит ссылки на включаемые ВИ. Но он может быть конкретным или абстрактным. Включаемый ВИ по стандарту полный, так как его описание не ссылается на включающие его ВИ (допустим, что других связей нет). Он также может быть конкретным или абстрактным.
ВИ с расширением по стандарту полный, т. к. его описание не зависит от описаний расширяющих ВИ. Он может быть конкретным или абстрактным. Расширяющий ВИ неполный, т. к. в его описании обязательны ссылки на точки расширения, т. е. на другие описания. Он может быть конкретным или абстрактным.
Представляется, что у абстрактного включаемого ВИ и у абстрактного расширяющего ВИ должны быть конкретные наследники, возможно, не прямые.
Стандарт проводит параллель между включением ВИ и композицией. Напрасно, на мой взгляд. Инклюды и экстенды не зря рисуются как пунктирные стрелки, намекая на зависимость описаний. Ассоциации (композиции) между ВИ стандарт не запрещает (если это ВИ из разных сабжектов), но и не описывает, каков их смысл.