Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
The dawning of the autonomic computing era
IBM Systems Journal
Formalisations of Capabilities for BDI-Agents
Autonomous Agents and Multi-Agent Systems
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On Goal-based Variability Acquisition and Analysis
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
High variability design for software agents: Extending Tropos
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Goal Types in Agent Programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Automated Mapping from Goal Models to Self-Adaptive Systems
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Subgoal semantics in agent programming
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
On the Life-Cycle of BDI Agent Goals
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Parallel graph transformations with double pushout grammars
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Adaptation in open systems: giving interaction its rightful place
ER'10 Proceedings of the 29th international conference on Conceptual modeling
A formal specification for organizational adaptation
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Rich goal types in agent programming
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Requirements and architectural approaches to adaptive software systems: a comparative study
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
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 representing 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 especially in the development of self-adaptive and fault-tolerant systems. In such systems, design-time knowledge on goals and variability becomes relevant at run-time, to take autonomous decisions for achieving high level objectives correctly. Recently, unifying operational semantics for (leaf) goals have been proposed [15]. We extend this work to define an operational semantics for the behaviour of goals in goal models, maintaining the flexibility of using different goal types and conditions. We use a simple example to illustrate how the proposed approach effectively deals with the semantic gap between design-time goal models and run-time agent implementations.