A deidealisation semantics for KAOS

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


    KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at which agents, identifiable in the application environment, can be assigned responsibility for operations that manipulate variables over which they have control, and where the information for determining changes in the controlled variables resides in variables which the agent can monitor. Although many of the 'refinements' that arise in the KAOS process can be viewed as acceptable according to one or other Model Based Refinement Formalism, many cannot. Those that cannot correspond to 'deidealisation' steps, not covered by conventional refinement formalisms. It is shown that such deidealisations can be seen as retrenchments, and the smooth interworking between refinement and retrenchment leads to a fuller formalisation of the KAOS process than is otherwise possible. © 2010 ACM.
    Original languageEnglish
    Title of host publicationProceedings of the ACM Symposium on Applied Computing|Proc ACM Symp Appl Computing
    PublisherAssociation for Computing Machinery
    Number of pages7
    ISBN (Print)9781605586380
    Publication statusPublished - 2010
    Event25th Annual ACM Symposium on Applied Computing, SAC 2010 - Sierre
    Duration: 1 Jul 2010 → …


    Conference25th Annual ACM Symposium on Applied Computing, SAC 2010
    Period1/07/10 → …


    • ASM
    • KAOS
    • refinement
    • retrenchment
    • tower pattern


    Dive into the research topics of 'A deidealisation semantics for KAOS'. Together they form a unique fingerprint.

    Cite this