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.

AuthorsTitlePlace publishedYear publishedsort icon
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)2007DownloadDetails
Ariel Fuxman; Lin Liu; John Mylopoulos; Marco Pistore; Marco Roveri; Paolo TraversoSpecifying and analyzing early requirements in TroposRequirements Engineering Journal2004Details
Anna Perini; Marco Pistore; Marco Roveri; Angelo SusiAgent-oriented modeling by interleaving formal and informal specification.Agent Oriented Software Engineering (AOSE-2003)2003DownloadDetails
Ariel Fuxman; Raman Kazhamiakin; Marco Pistore; Marco RoveriTropos: A Framework for Requirements-Driven Software Development.Trento, 20032003DownloadDetails
Ariel Fuxman; Lin Liu; John Mylopoulos; Marco Pistore; Marco RoveriSpecifying and Analyzing Early Requirements: Some Experimental Results.RE-2003, the 11th IEEE International Requirements Engineering Conference2003DownloadDetails
Ariel Fuxman; John Mylopoulos; Marco Pistore; Paolo TraversoModel Checking Early Requirements Specifications in Tropos.RE-2001, the 9th IEEE International Requirements Engineering Conference.2001DownloadDetails

Back to top