Goal-oriented requirements analysis and reasoning in the Tropos methodology

@article{Giorgini2005GoalorientedRA,
  title={Goal-oriented requirements analysis and reasoning in the Tropos methodology},
  author={P. Giorgini and J. Mylopoulos and R. Sebastiani},
  journal={Eng. Appl. Artif. Intell.},
  year={2005},
  volume={18},
  pages={159-171}
}
Tropos is an agent-oriented software methodology proposed in (J. Autonomous Agents Multi-Agent Syst. 8(3) (2004) 203; Inf. Syst. 27(6) (2002) 365). The methodology is founded on the notions of agent and goal, and goal analysis is used extensively to support software development during different phases. This paper adopts a formal goal model defined and analyzed in (J. Data Semantics 1 (2003); Proceedings of the International Conference on Advanced Information Systems Engineering, CAISE'04, vol… Expand
Method integration: An approach to develop agent oriented methodologies
TLDR
A mixed methodology has been proposed and is a combination of analysis stage of ROADMAP methodology and design stage of AOR and ASPECS methodologies to increase the performance of proposed methodology of actor models, service model, capability and programming. Expand
Automated Software Development Methodology: An agent oriented approach
TLDR
An automated software development methodology conceptualized with the notion of agents, which are autonomous goal-driven software entities that coordinate and cooperate with each other, like humans in a society to achieve some goals by performing a set of tasks in the system. Expand
Understanding Agent-Oriented Software Engineering methodologies
TLDR
It can be advanced that AOSE methodologies are far from providing all the answers industry requires and that effort has grounded mainly in requirements, design, and implementation phases. Expand
Using three AOSE toolkits to develop a sample design
TLDR
This paper briefly summarises the three methodologies and their associated tools and then works through the analysis, architectural design and detailed design phases of the Conference Management system case study using each methodology and tool. Expand
The Tropos Software Engineering Methodology
The agent-oriented software engineering methodology Tropos offers a structured development process for the development of socio-technical systems. Such systems explicitly recognise the interplayExpand
AOSE Methodologies and Comparison of Object Oriented and Agent Oriented Software Testing
TLDR
The Agent Oriented Software Engineering (AOSE) methodologies are evolved because the agent oriented technology is adapted because it solves the problems related to the social and organization which is not possible by the traditional model. Expand
From Early Requirements to Late Requirements : A goal-based approach 1
At present, the software engineering community places emphasis on the relevance of understanding the organizational context before starting the development of an information system. In this context,Expand
AMA: a compound methodology for designing and implementing agent-based systems
TLDR
A methodology dubbed ``AMA`` is developed through mixing the strengths of the three methodologies of AOR, MASSIVE, and ADELFE based on assessment methods and criteria including concepts and conceptions, modeling language, process and pragmatism. Expand
Model driven approach for real-time requirement analysis of multi-agent systems
TLDR
The paper presents the synthesis of a real-time metamodel to support requirements analysis of a multi-agent system (MAS) and presents a validation of the metAModel in a Call Management MAS application, providing a preliminary evidence of the coverage and validity of the meetamodels presented. Expand
Tool-Supported Development with Tropos: The Conference Management System Case Study
TLDR
The use of Tropos to develop a Multi-Agent System, performing basic analysis and design activities, code generation and testing, with the support of a set of tools is illustrated to enable the comparison with other, tool-supported, agent-oriented software engineering methodologies. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 24 REFERENCES
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
Towards requirements-driven information systems engineering: the Tropos project
TLDR
This paper proposes a software development methodology named Tropos which is founded on concepts used to model early requirements, and adopts the i organizational modeling framework, which offers the notions of actor, goal and (actor) dependency. Expand
Requirements engineering in the year 00: a research perspective
TLDR
The initial description of a complex safety-critical system is used to illustrate a number of current research trends in RE-specific areas such as goal-oriented requirements elaboration, conflict management, and the handling of abnormal agent behaviors. 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
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
Goal-Directed Requirements Acquisition
TLDR
An approach to requirements acquisition is presented which is driven by higher-level concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. Expand
REASONING WITH GOALS TO ENGINEER REQUIREMENTS
The concept of a goal has been used in multiple domains such as management sciences and strategic planning, artificial intelligence and human computer interaction. Recently goal driven approachesExpand
Modeling organizations for information systems requirements engineering
  • E. Yu
  • Engineering, Computer Science
  • [1993] Proceedings of the IEEE International Symposium on Requirements Engineering
  • 1993
TLDR
A set of intentional operators for modeling dependencies among agents is proposed, and a preliminary axiomatic characterization is presented. Expand
Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering
TLDR
This work presents a modelling framework which uses goals, rules and methods to support the systematic analysis and design of business processes and consists of a Strategic Dependency model that describes a process organization in terms of intentional dependencies among actors. Expand
Specifying and analyzing early requirements: some experimental results
TLDR
This work proposes guidelines for producing a Formal Tropos specification from an i/sup */ diagram and for deciding what model checking technique to use when a particular formal property is to be validated. Expand
...
1
2
3
...