This module supports non-functional requirements (NFRs) modeling based on the notations from the NFR framework where NFRs can be explicitly represented as softgoals. The NFRs as softgoals may be further refined using AND/OR decompositions, and traced to design alternatives