По мере роста сложности прецедентов снижается их описательная способность: большое количество деталей затрудняет восприятие прецедента и, как следствие, это может стать причиной возникновения ошибок при получении функциональных требований.
В качестве средства борьбы со сложностью применяют декомпозицию прецедентов, а в качестве средства документирования используют допустимые в нотации UML графические средства, которые называются отношениями между прецедентами. В качестве критерия декомпозиции прецедентов используется критерий обобщения/специализации.
Отношения между прецедентами в UML подразделяются на:
- отношения ассоциации (association relationship);
- отношения включения (include);
- отношения расширения (extend);
- отношения обобщения (generalization relationship).
Отношение ассоциации является наиболее фундаментальным и отражает некоторую информационную и/или материальную связь между объектом и прецедентом. Оно устанавливает, какую конкретную роль играет актор при взаимодействии с экземпляром прецедента. Линия отношения ассоциации обозначается в виде прямой линии и может иметь дополнительные условные обозначения (кратность связи, направление связи, наименование связи).
Отношение расширения позволяет описать альтернативные ветви основного (первоначального) прецедента. При этом сложность первоначального прецедента обусловлена, как правило, большим числом альтернативных, необязательных и исключающих последовательностей взаимодействий. Проблема чрезмерной сложности первоначального прецедента решается с помощью декомпозиции, при которой альтернативные, необязательные и исключающие ветви выносятся в отдельные прецеденты, связанные с главным с помощью отношения расширения. Таким образом, функция нового прецедента состоит в том, чтобы расширить родительский в случае, когда выполнены определенные условия. Расширяемый прецедент обычно называют базовым (родительским), а расширяющий — расширением.
Базовый прецедент не зависит от расширяющих прецедентов и способен функционировать без них. С другой стороны, расширяющие прецеденты будут выполняться только в случае выполнения условий, находящихся в базовом, т.е. без базового прецедента расширяющие функционировать не могут.
Допустимо определить точки расширения, которые точно задают места, куда следует добавить расширения базового прецедента. В этом случае расширение будет дополнять базовый прецедент только в этих точках.
Отношение расширения используется в следующих случаях:
1. Чтобы показать условную (необязательную) часть базового прецедента.
2. Чтобы описать сложные или альтернативные пути.
Отношение расширения на диаграмме прецедентов изображается пунктирной линией со стрелкой, со словом "расширяет"("extend") и стрелка указывает на базовый прецедент.
Отношения включения. Начальный вариант представления прецедентов, как правило, является недостаточно структурированным и в нем удается выявить последовательности взаимодействий акторов с системой, общие для нескольких прецедентов. Выявленные таким образом общие последовательности отражают функциональность, свойственную более чем одному прецеденту.
На языке UML связи включения и расширения показывают в виде зависимостей с соответствующими стереотипами, как показано на рис. 1.3.
Рис. 1.3. Связи включения и расширения
Общая функциональность хороший кандидат для описания с помощью отдельного прецедента, который будет включаемым по отношению к остальным. Такой включаемый прецедент является абстрактным прецедентом в том смысле, что он не может исполняться независимо от других прецедентов, а лишь в их составе.
Как было сказано выше, абстрактный прецедент никогда не исполняется изолированно, а лишь в сочетании с конкретным прецедентом, который его включает (исполняет). Исходя из этого, абстрактный прецедент может и не содержать ни одного актора, т.к. предоставляет свою функциональность другим прецедентам, которые, в свою очередь, обеспечивают взаимодействие с акторами. Отношение включения на диаграмме прецедентов изображается пунктирной линией со стрелкой, со словом "включает"("include"). Пример отношения включения для прецедента "Выполнить ТПП для нового изделия" иллюстрируется диаграммой на рис. 1.4.
Рис. 1.4. Пример отношений включения на диаграмме прецедентов
Отношение обобщения между двумя прецедентами изображается сплошной линией с треугольной стрелкой на конце и означает, что данный прецедент является частным случаем другого прецедента. Стрелка указывает в сторону родительского прецедента (актора). Например, прецедент "Изготовить штамп" является частным случаем прецедента "Изготовить формообразующую оснастку" (Рис. 1.5).
Рис. 1.5. Пример отношений обобщения на диаграмме прецедентов
С помощью связи обобщения показывают, что у нескольких действующих лиц имеются общие черты. Например, клиенты могут быть двух типов: корпоративные и индивидуальные. Эту связь можно моделировать с помощью нотации, показанной на рис. 1.6.
Рис. 1. 6. Пример отношений обобщения действующего лица на диаграмме прецедентов
