Modeling and parallel evaluation of non-functional requirements using FRORL requirements language

Current requirements specifications tend to focus more on the functional aspect than the nonfunctional side of a product. Many techniques and tools have been developed to specify and evaluate functional requirements, but few of them are equipped to deal with nonfunctional requirements. In this paper we extend the formal requirements specification language, FRORL, to model nonfunctional requirements and show how these nonfunctional requirements are related to the functional requirements. We also introduce a parallel evaluation technique to evaluate the functional requirements model by satisfying the nonfunctional requirements associated to it. By examining the result from the functional model, we can see how the nonfunctional requirements are satisfied, so that we can adjust and modify the nonfunctional requirements.>