Situated Modelling of Scenarios
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Hi-index | 0.00 |
The use of logic in identifying and analysing inconsistencyin requirements from multiple stakeholders has been found tobe effective in a number of studies.Default reasoning is atheoretically well founded formalism that is especially suitefor supporting the evolution of requirements.However, directuse of logic in eliciting requirements an in discussing themwith stakeholers poses serious useability problems.In thispaper we explore the integration of natural language parsingtechniques with default reasoning to overcome these if 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.