Как Томас Килиан, я сомневаюсь, что у вас есть UC "добавить" и UC "историзировать", кажется на уровне реализации, а не на уровне UC.
Если я хорошо понимаю, что у вас есть UC_add include UC_historize означает актер, желающий добавить, должен записать в журнал до , это неверно:
- Включение не является обозначением для предварительного условия
- Норма UML не говорит о том, что поведение включенного UC вставлено до поведения включающего UC, просто оно вставлено в , без каких-либо ограничений относительно момента, когда это сделано.
В любом случае, если у вас действительно есть эти 2 UC, и поведение UC_historize включено в поведение UC_add, включение будет правильным.