a requirements modeling tool