Using default reasoning to discover inconsistencies in natural language requirements

Zowghi, D; Gervasi, V; McRae, A

Using default reasoning to discover inconsistencies in natural language requirements

Zowghi, D

Gervasi, V McRae, A

Permalink

Publication Type:: Conference Proceeding
Citation:: Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, 2001, pp. 133 - 140
Issue Date:: 2001-12-01

Closed Access

	Filename	Description	Size
	2005001201.pdf		834.23 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Zowghi, D https://orcid.org/0000-0002-6051-0155	en_US
dc.contributor.author	Gervasi, V	en_US
dc.contributor.author	McRae, A	en_US
dc.date.issued	2001-12-01	en_US
dc.identifier.citation	Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, 2001, pp. 133 - 140	en_US
dc.identifier.uri	http://hdl.handle.net/10453/2617
dc.description.abstract	The use of logic in identifying and analysing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Default reasoning is a theoretically well founded formalism that is especially suited for supporting the evolution of requirements. However, direct use of logic in eliciting requirements and in discussing them with stakeholders poses serious useability problems. In this paper we explore the integration of natural language parsing techniques with default reasoning to overcome these difficulties. We also propose a method for automatically discovering scenarios that expose inconsistencies in requirements, and show how to deal with them in a formal manner. These techniques were implemented and tested in a prototype tool called CARL.	en_US
dc.relation.ispartof	Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC	en_US
dc.title	Using default reasoning to discover inconsistencies in natural language requirements	en_US
dc.type	Conference Proceeding
utslib.for	0803 Computer Software	en_US
utslib.for	0806 Information Systems	en_US
utslib.for	080309 Software Engineering	en_US
dc.location.activity	Macau	en_US
dc.location.activity	MACAO, PEOPLES R CHINA
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/DVC (Research)
pubs.organisational-group	/University of Technology Sydney/DVC (Research)/Graduate Research School
pubs.organisational-group	/University of Technology Sydney/Strength - HCTD - Human Centred Technology Design
pubs.organisational-group	/University of Technology Sydney/Strength - STEM Education Futures
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US

Abstract:

The use of logic in identifying and analysing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Default reasoning is a theoretically well founded formalism that is especially suited for supporting the evolution of requirements. However, direct use of logic in eliciting requirements and in discussing them with stakeholders poses serious useability problems. In this paper we explore the integration of natural language parsing techniques with default reasoning to overcome these difficulties. We also propose a method for automatically discovering scenarios that expose inconsistencies in requirements, and show how to deal with them in a formal manner. These techniques were implemented and tested in a prototype tool called CARL.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/2617