“…Use cases have gradually become a widely accepted requirement specification technique both in research domain [2,10,13,32,33,74,103,151] as well as, to some extent, in industrial practice [8,9,39,59,109]. Nevertheless, their inherent utilization of natural language and a behavior of requirement documentation in a semi-conventional way, mean that they are affected by issues such as ambiguity, redundancy, inconsistency, and incompleteness [2,32,146].…”