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.0016 seconds