Elaborating Operational Requirements from Goals

C Suganya¹, S Thirumal²

^1,2G.K.M College Of Engineering And Technology, India

Abstract

Requirement Engineering comprises of deriving stakeholders goals and their enhancement into operational requirement specification. Insufficiency in the process of any of these task will end up with severe problem in the system development, it becomes expensive to recover. Here will introduce a formal, efficient approach for generating requirements that satisfies the given stakeholders goals. Goal-based methods have progressively accepted in effect of eliciting, elaborating, analyzing, and specifying software requirements. We use a tool-based framework for combining model checking and inductive learning approach. The model checker applicably validates the goal satisfaction and creates counterexample once incompleteness in the operational requirements are found. The Learner computes the requirements from positive and negative samples. These well-read requirements are reliable with goals. This procedure is done iteratively till no goal destruction is identified.

Keywords

Author's Profile

Author profile can be generated and linked through our partners World Book of Researchers. To include your profile online Click Here. After it is approved, please email to edlib @ asdf.res.in to create a link with all the papers.

• C Suganya : Profile
• S Thirumal : Profile

e-AID

Cite this Article as Follows

C Suganya, S Thirumal. Elaborating Operational Requirements from Goals. National Conference on Man Machine Interaction 2014. Vol. 1. Chennai: Association of Scientists, Developers and Faculties, 2014. 07-14. Print.