원문정보
초록
영어
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.
목차
1. Introduction
2. Formatting your paper
2.1. Ontology model and ontology interpretation
2.2. The concepts set in ontology model
2.3. The relations set in ontology model
3. Domain rules modeling
3.1. Second-order headings
3.2. Second-order headings
3.3. Visual modeling of rules
4. Rule based model checking framework
5. Case Study
6. Conclusions
7. Acknowledgement
8. References