凯瑟琳·博特格;罗尔夫·施维特;迭戈·莫拉;黛比·理查兹 通过受控语言和图形模型来协调用例。 （英文） Zbl 1033.68730号 Bartenstein，Oskar（编辑）等人，《Web知识管理和决策支持》。第14届Prolog应用国际会议，INAP 2001，日本东京，2001年10月20日至22日。修订论文。柏林：施普林格出版社（ISBN 3-540-00680-X/pbk）。莱克特。注释计算。科学。2543, 115-128 (2003). 概要：在需求工程中，用例用于描述事件流和未来信息系统中状态的发生。用例由一组场景组成，每个场景描述待开发系统的示范行为。不同的涉众以不同的方式描述步骤，因为他们从不同的角度感知应用程序域中的事务状态。这导致用自然语言编写的用例模棱两可，使用不同的术语，因此很难协调。为了解决这个问题，我们开发了一套简单的指南，用受控语言重写用例和场景。这些句子被我们的RECOCASE系统的Prolog模块翻译成扁平逻辑形式。RECOCASE使用这些生成的平面逻辑形式生成图形模型，以便在项目涉众之间细化和细化功能需求。作为一个实验，我们选择了形式概念分析，在概念格中以图形方式自动表示不同利益相关者的观点。关于整个系列，请参见[Zbl 1011.68744号]. MSC公司： 68单位99 计算方法和应用 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68立方英尺 知识表示 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） PDF格式BibTeX公司 XML格式引用 \textit{K.Böttger}等人，Lect。注释计算。科学。2543、115-128（2003年；Zbl 1033.68730） 全文： 链接