Operational semantics of goal models in adaptive agents

Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodologies is the paramount importance of the concept of goal model in order to understand the requirements of a software system. Goal models consist of goal graphs repg AND/OR-decomposition of abstract goals down to operationalisable leaf-level goals. Goal models are used primarily in the earlier phases of software engineering, for social modelling, requirements elicitation and analysis, to concretise abstract objectives, to detail them and to capture alternatives for their satisfaction. Although various agent programming languages incorporate the notion of (leaf-level) goal as a language construct, none of them natively support the definition of goal models. However, the semantic gap between goal models used at design-time and the concept of goal used at implementation and execution time represent a limitation e...

• Type: Conference
• Year: 2009
• Where: ATAL
• Authors: Mirko Morandini, Loris Penserini, Anna Perini
• Keywords: Artificial Intelligence, ATAL 2009, Design-time Goal Models, Goal Models, Software Engineering