Full Program »
Patterns of Ambiguity in Textual Requirements Specification
In this contribution, we investigate the ambiguity problem in textual requirements specifications. We focused on the structural ambiguity and extracted some patterns to indicate this kind of ambiguity. We show that the standard methods of linguistics are not enough in some cases, and we describe a class of ambiguity caused by coreference that needs an underlying domain model or a knowledge base to be solved. Part of our implemented solution is a cooperation of our tool ***** with the Prolog inference machine working with facts and rules acquired from OCL conditions of the domain model.