Title :
Requirements specification evolution in a multi-perspective environment
Author :
Barragáns-Martínez, Ana Belén ; García-Duque, Jorge ; Pazos-Arias, José J. ; Fernández-Vilas, Ana ; Díaz-Redondo, Rebeca P.
Author_Institution :
Telematic Eng. Dept., Vigo Univ., Spain
Abstract :
We adapt an analysis-revision cycle to SCTL-MUS methodology to support the modification and evolution of requirements specifications in a multiperspective environment. To illustrate the advantages of using our approach in the analysis and revision phases, we employ two viewpoints of a thermostat system. Both viewpoints are merged in order to reason over the properties of the composed system. The refinements over the merged model are transferred into each of the viewpoints and then into the requirements in which both are expressed. In this way, we obtain requirements refinements close to the system domain of each viewpoint, facilitating to the stakeholders the decision of what system requirements refinements must be included in the system requirements specification
Keywords :
formal specification; SCTL-MUS methodology; analysis-revision cycle; multi-perspective environment; requirements specification evolution; thermostat system; Algorithm design and analysis; Application software; Computer applications; Information analysis; Machine learning; Machine learning algorithms; Phase detection; Programming; Telematics; Thermostats;
Conference_Titel :
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
Conference_Location :
Oxford
Print_ISBN :
0-7695-1727-7
DOI :
10.1109/CMPSAC.2002.1044531