Flow event structures and flow nets
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Retrenchment and Punctured Simulation
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Requirements Engineering
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Retrenching the purse: finite sequence numbers, and the tower pattern
FM'05 Proceedings of the 2005 international conference on Formal Methods
Goal-oriented approach to creating class diagrams with OCL constraints
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
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.