Formal Tropos
Formal Tropos offers the primitive concepts of early requirements frameworks (actor, goal, strategic dependency), but supplements them with a rich temporal specification language. Model checking is expanded to allow for automatic verification of relevant properties of the early requirements specification.
Authors | Title | Place published | Year published | ||
---|---|---|---|---|---|
Asnar, Y.; Giorgini, P.; Zannone, N. | Reasoning about Risk in Agents Deliberation Process: a Jadex Implementation. | 8th International Workshop on Agent Oriented Software Engineering (AOSE '07) | 2007 | Download | Details |
Ariel Fuxman; Lin Liu; John Mylopoulos; Marco Pistore; Marco Roveri; Paolo Traverso | Specifying and analyzing early requirements in Tropos | Requirements Engineering Journal | 2004 | Details | |
Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi | Agent-oriented modeling by interleaving formal and informal specification. | Agent Oriented Software Engineering (AOSE-2003) | 2003 | Download | Details |
Ariel Fuxman; Raman Kazhamiakin; Marco Pistore; Marco Roveri | Tropos: A Framework for Requirements-Driven Software Development. | Trento, 2003 | 2003 | Download | Details |
Ariel Fuxman; Lin Liu; John Mylopoulos; Marco Pistore; Marco Roveri | Specifying and Analyzing Early Requirements: Some Experimental Results. | RE-2003, the 11th IEEE International Requirements Engineering Conference | 2003 | Download | Details |
Ariel Fuxman; John Mylopoulos; Marco Pistore; Paolo Traverso | Model Checking Early Requirements Specifications in Tropos. | RE-2001, the 9th IEEE International Requirements Engineering Conference. | 2001 | Download | Details |