Automated Reasoning with Goal Tree Models for Software Quality Requirements

IEEE Computer Society
Publication Type:
Conference Proceeding
Proceedings of REFS 2012: The 6th IEEE International Workshop on Requirements Engineering for Services in conjunction with The 36th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2012), 2012, pp. 373 - 378
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2012001172OK.pdf Published version1.21 MB
Adobe PDF
Implementation of software quality requirements is critical for producing high-quality softwares. High-level quality requirements are usually refined stepwise by different low-level quality requirements, until some potential functional design alternatives are identified. An important question is how design alternatives can be effectively selected to satisfice the quality requirements. This paper focuses on the satisficing statuses of nodes in the quality requirements goal tree models, and presents an automated reasoning technique to select design alternatives. The final satisficing status of quality requirements can be obtained provided that the satisficing statuses of design alternatives are assigned. Existing approaches propose reasoning approaches which do not support efficient identification if many design alternatives and candidate solutions may exist. Our work provides an alternative approach to identify what is the acceptable design decision in a timely manner. A case study is also presented to illustrate our proposed automated reasoning approach.
Please use this identifier to cite or link to this item: