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.
Identifer | oai:union.ndltd.org:UPSALLA1/oai:DiVA.org:vxu-5383 |
Date | January 2009 |
Creators | Peng, Qian |
Publisher | Växjö universitet, Växjö universitet, Matematiska och systemtekniska institutionen |
Source Sets | DiVA Archive at Upsalla University |
Language | English |
Detected Language | English |
Type | Student thesis, info:eu-repo/semantics/masterThesis, text |
Format | application/pdf |
Rights | info:eu-repo/semantics/openAccess |
Relation | Rapporter från MSI, 1650-2647 |
Page generated in 0.0015 seconds