期刊名称：International Journal of Software Engineering and Its Applications
印刷版ISSN：1738-9984
出版年度：2007
卷号：1
期号：1
出版社：SERSC
摘要：Many ontology-based methods have been proposed and applied in order to elicit system requirements correctly and unambiguously. However, most of ontologies in these methods are purely conceptual models. Furthermore, the domain knowledge base only captures domain concepts and neglects domain-restricted rules. If the requirements model violate these rules or contradict the usual business behavior, they become unreasonable. This paper suggests a formal approach to precisely describe ontology using description logic at first, and then model the integrity rules and derivation rules which restrict the business behavior. All the rules are represented in three aspects: syntax, semantics and visualization. Finally, the requirements model checking framework is provided combining domain ontology and domain rules, which makes the requirements elicitation process both guided by domain ontology and restricted by domain rules. Therefore, the acquired requirements would comply with both business needs and domain knowledge.
