• Publications
  • Influence
Tropos: An Agent-Oriented Software Development Methodology
TLDR
The goal in this paper is to introduce and motivate a methodology, called Tropos, for building agent oriented software systems, based on the notion of agent and all related mentalistic notions, formalized in a metamodel described with a set of UML class diagrams. Expand
Secure Tropos: a Security-Oriented Extension of the Tropos Methodology
TLDR
Extensions to the Tropos methodology are introduced to enable it to model security concerns throughout the whole development process to help towards the development of more secure multiagent systems. Expand
Agent-oriented methodologies
A sample of chapters: Prometheus: A Practical Agent-Oriented Methodology Multiagent Systems Engineering: an Overview and Case Study Comparison of Ten Agent-Oriented Methodologies Creating aExpand
Social Modeling for Requirements Engineering
TLDR
The i* framework aims to offer a modeling approach to the relationships embedded in computer systems that is part of an engineering method that offers systematic techniques and tools providing smooth linkages to the rest of the system development process, including system design and implementation. Expand
Reasoning with Goal Models
TLDR
A qualitative and a numerical axiomatization for goal modeling primitives are proposed and label propagation algorithms that are shown to be sound and complete with respect to their respectiveAxiomatizations are introduced. Expand
A goal-based framework for contextual requirements modeling and analysis
TLDR
Context goal models to relate goals and contexts; context analysis to refine contexts and identify ways to verify them; reasoning techniques to derive requirements reflecting the context and users priorities at runtime; and design time reasoning techniquesto derive requirements for a system to be developed at minimum cost and valid in all considered contexts are introduced. Expand
Goal-oriented requirements analysis and reasoning in the Tropos methodology
TLDR
This paper adopts a formal goal model defined and analyzed in (J.Tropos), to make the goal analysis process concrete through the use of forward and backward reasoning for goal models. Expand
Goal-oriented requirement analysis for data warehouse design
TLDR
This paper proposes a goal-oriented approach to requirement analysis for data warehouses, based on the Tropos methodology, which can be employed within both a demand-driven and a mixed supply/demand-driven design framework. Expand
GRAnD: A goal-oriented approach to requirement analysis in data warehouses
TLDR
This paper proposes GRAnD, a goal-oriented approach to requirement analysis for data warehouses based on the Tropos methodology, which can be employed within both a demand-driven and a mixed supply/demand-driven design framework. Expand
Formal Reasoning Techniques for Goal Models
TLDR
A qualitative and a numerical axiomatization for goal modeling primitives are proposed and label propagation algorithms that are shown to be sound and complete with respect to their respectiveAxiomatizations are introduced. Expand
...
1
2
3
4
5
...