By Topic

Detecting of requirements inconsistency: an ontology-based approach

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Xuefeng Zhu ; Inst. of Comput. Technol., Chinese Acad. of Sci., Beijing, China ; Zhi Jin

Detecting of requirements inconsistency is key to the development of heterogeneous software system. But at present, although there is a lot of work on the detecting of requirements inconsistency, most of them is limited in detecting of requirements inconsistency at syntax level, we still lack of a promising method for the detection of requirements inconsistency at semantic level. Based on an abstract requirement refinement process model, this paper takes domain ontology as infrastructure for the refinement of software requirements, software requirements can then be seen as interactions between software agents and the ambiences they exist. We assume that the real effect of these interactions is to make the state of ambience changed, so we explicitly represent requirements of software agents as a set of state transition diagrams, each is for one entity in the ambience. And we realized semantic level inconsistency detecting of software requirements based on state transition of ambience.

Published in:

Computer and Information Technology, 2005. CIT 2005. The Fifth International Conference on

Date of Conference:

21-23 Sept. 2005