A First Attempt to Express KAOS Refinement Patterns with Event B

anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development process and (ii) we can benefit from the industrial maturity of tools supporting the method. This paper presents, through an example, the outlines of a constructive approach in which Event B models are built incrementally from KAOS goal models, driven by goal refinement patterns. 2 Goals in KAOS KAOS (Knowledge Acquisition in autOmated Specification) [2, 3] is a methodology to implement goal-based reasoning. A goal defines an objective the system should meet, usually through the cooperation of multiple agents such as devices or humans. KAOS is composed of several sub-models related through intermodel consistency rules: (i) the central model is the goal model which describes the goals of the system and its environment; (ii) the object model defines the objects (agents ,entity...) of interest in the application d...

• Type: Conference
• Year: 2008
• Where: ASM
• Authors: Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
• Keywords: ASM 2008, Computational Biology, Goal Model, KAOS Goal Models, Refinement Patterns