我对在列表上应用Larman的系统操作合同（《应用UML和模式》中的OO分析）感到有些困惑。更确切地说，我对后置条件部分感到困惑。
例如，我的博客网站具有系统操作：
search(query)
考虑到我的域模型包含ArticleCatalog类，例如，search(query)系统操作上的后置条件和前提条件是什么，前提是用户是演员，系统是博客站点包含多个ArticleDescription。
例如：对于搜索操作，系统需要使用query参数在ArticleCatalog概念类中搜索文章，然后过滤ArticleDescription。一个ArticleCatalog包含1 .. * ArticleDescription。
如果ArticleCatalog包含属性“查询”以允许搜索，该怎么表示？