<p>This thesis emphasizes on surveying the state-of-the-art in software requirements specification with a focus on, autonomic, self-adapting software systems. Since various requirements are brought forward accord with environments, modeling requirements for adaptive software systems may be changed at run-time. Nowadays, Keep All Objectives Satisfied (KAOS) is an effective method to build goal model. Various manipulations, such as change, remove, active and de-active goals, appear new goals, could mediate conflicts among goals in adaptive software system. At specification time, specifications of event sequences to be monitored are generated from requirements specification.</p>
Identifer | oai:union.ndltd.org:UPSALLA/oai:DiVA.org:vxu-5383 |
Date | January 2009 |
Creators | Peng, Qian |
Publisher | Växjö University, Växjö University, Växjö University |
Source Sets | DiVA Archive at Upsalla University |
Language | English |
Detected Language | English |
Type | Student thesis, text |
Relation | Rapporter från MSI, 1650-2647 |
Page generated in 0.0014 seconds