Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
On agent-based software engineering
Artificial Intelligence
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
The tropos software development methodology: processes, models and diagrams
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Requirements Classification and Reuse: Crossing Domain Boundaries
ICSR-6 Proceedings of the 6th International Conerence on Software Reuse: Advances in Software Reusability
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Requirements-Driven Development Methodology
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Eulerian disjoint paths problem in grid graphs is NP-complete
Discrete Applied Mathematics
Goal-Driven Agent-Oriented Software Processes
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Extending tropos for a prolog implementation: a case study using the food collecting agent problem
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
The multi-agent programming contest from 2005---2010
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Antimodels constitute a goal-oriented technique to reformulate a software system at the requirements stage mainly for security concerns. This technique recognizes external goals that conflict with the system's goals. In addition Tropos is one of the most relevant agent-oriented software development methodologies which uses the i* modelling language. Tropos covers the software development from the early stage of requirements to implementation. In this paper we propose the use of antimodels to identify risk situations and we use an antigoal resolution taxonomy to reformulate agents' roles and goals. We test our approach in the context of the Second Computational Logic on Multi-Agent Systems contest where we have used Tropos to implement the proposed collecting agent problem. Combining antimodels, the antigoal resolution taxonomy and the Tropos extension to obtain Prolog implementations, we have obtained a competitive solution.