Share This Author
Tropos: An Agent-Oriented Software Development Methodology
- P. Bresciani, A. Perini, P. Giorgini, Fausto Giunchiglia, J. Mylopoulos
- Computer ScienceAutonomous Agents and Multi-Agent Systems
- 1 May 2004
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.
Non-Functional Requirements in Software Engineering
- L. Chung, B. Nixon, E. Yu, J. Mylopoulos
- Computer ScienceInternational Series in Software Engineering
Decomposition methods for processes are described in [Nixon93, 94a, 97a], drawing on implementations of processes [Chung84, 88], and a fuller catalogue would include parameterized definitions too.
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
A comprehensive framework for representing and using nonfunctional requirements during the development process is proposed and evidence for the power of the framework is provided through the study of accuracy and performance requirements for information systems.
Towards requirements-driven information systems engineering: the Tropos project
Telos: representing knowledge about information systems
Telos is a language intended to support the development of information systems based on the premise that information system development is knowledge intensive and that the primary responsibility of any language intended for the task is to be able to formally represent the relevent knowledge.
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a…
On the Move to Meaningful Internet Systems
Social Modeling for Requirements Engineering
- E. Yu, P. Giorgini, N. Maiden, J. Mylopoulos
- Computer ScienceCooperative information systems
- 31 January 2011
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.
Specifying and analyzing early requirements in Tropos
- A. Fuxman, Lin Liu, J. Mylopoulos, Marco Roveri, P. Traverso
- Computer ScienceRequirements Engineering
- 1 May 2004
We present a framework that supports the formal verification of early requirements specifications. The framework is based on Formal Tropos, a specification language that adopts primitive concepts for…
From object-oriented to goal-oriented requirements analysis
were proposed more than 10 years ago. The Object-Oriented Systems Analysis (OOSA) technique  adopts the Entity-Relationship (ER) model to capture the declarative aspects of a software system.…