The Domain Ontology and Domain Rules Based Requirements Model Checking

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]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[2]  Raphael Volz,et al.  Visual Modeling of OWL DL Ontologies Using UML , 2004, International Semantic Web Conference.

[3]  Vladan Devedzic,et al.  A UML Profile for OWL Ontologies , 2004, MDAFA.

[4]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[5]  Gerd Wagner Rule Modeling and Markup , 2005, Reasoning Web.

[6]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[7]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[8]  Saeki Motoshi,et al.  Using Domain Ontology as Domain Knowledge for Requirements Elicitation , 2006 .

[9]  Wenyun Zhao,et al.  An Ontology-Based Approach for Domain Requirements Elicitation and Analysis , 2006, First International Multi-Symposiums on Computer and Computational Sciences (IMSCCS'06).

[10]  Jin Zhi Ontology-Based Requirements Elicitation , 2000 .

[11]  Wu Jia-chun A Study on Ontology Model Based on Description Logics , 2003 .

[12]  Pascal Hitzler,et al.  A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies , 2006, ESWC.

[13]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[14]  Neil A. M. Maiden,et al.  The Domain Theory for Requirements Engineering , 1998, IEEE Trans. Software Eng..