У меня есть некоторая путаница с применением системных контрактов Лармана (OO Analysis из книги «Применение UML и шаблонов») в списках.Точнее, я запутался с постусловием.
Например, у меня есть системные операции для моего сайта блога:
search(query)
, какими будут постусловия и предварительные условия, например, для search(query) работы системы будетесли пользователь является актером, а система - сайтом блога, учитывая, что моя модель домена содержит класс ArticleCatalog, который содержит несколько ArticleDescription.
Например: для операции поиска система должна выполнить поиск статей в концептуальном классе ArticleCatalog с параметром запроса, а затем отфильтровать ArticleDescription.Один ArticleCatalog содержит 1 .. * ArticleDescription.
как я могу это представить, если ArticleCatalog содержит атрибут 'query' для разрешения поиска?