Goal Analysis

Requirements models are useful as such, but they can provide even more information if automated analysis is run. Goal analysis has the main objective to propose a formalization of the Tropos framework and suggest analysis techniques to reason about requirements satisfaction.

AuthorsTitlePlace publishedYear publishedsort icon
P. Giorgini; J. Mylopoulos; E. Nicchiarelli; R. SebastianiReasoning with Goal Models.21st International Conference on conceptual Modeling (ER2002)2002DownloadDetails
P. Giorgini; J. Mylopoulos; R. SebastianiSimple and Minimum-Cost Satisfiability for Goal Models.16th Conference On Advanced Information Systems Engineering (CAiSE*04)2004DownloadDetails
P. Giorgini; J. Mylopoulos; E. Nicchiarelli; R. SebastianiFormal Reasoning Techniques for Goal Models.Journal of Data Semantics2004DownloadDetails
P. Giorgini; J. Mylopoulos; R. SebastianiGoal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology.Engineering Applications of Artifcial Intelligence2005Details
Asnar, Y.; Giorgini, P.Modelling Risk and Identifying Countermeasure in Organizations.1st International Workshop on Critical Information Infrastructures Security (CRITIS '06)2006DownloadDetails
Bryl, V.; Montali, M.; Mello, P.; Torroni, P.; Zannone, N.B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification.8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)2007DownloadDetails
Asnar, Y.; Bonato, R.; Giorgini, P.; Massacci, F.; Meduri, V.; Riccucci, C.; Saydane, A.Secure and Dependable Patterns in Organizations: An Empirical Approach.15th IEEE International Requirements Engineering Conference (RE '07)2007DownloadDetails
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
Bryl, V.; Dalpiaz, F.; Ferrario, R.; Mattioli, A.; Villafiorita, A.Evaluating Procedural Alternatives. A Case Study in E-Voting.1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)2007DownloadDetails
Asnar, Y.; Bryl, V.; Giorgini, P.Using Risk Analysis to Evaluate Design Alternatives.Agent-Oriented Software Engineering VII, Post-proceedings (invited paper)2007DownloadDetails
Siena, A.; Bonetti, A.; Giorgini, P.Balanced Goalcards: combining Balanced Scorecards and Goal Analysis.Third International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2008)2008DownloadDetails
Siena, A.; Bonetti, A.; Giorgini, P.Balancing Business Perspectives in Requirements Analysis.Lecture Notes in Communications in Computer and Information Science2008DownloadDetails
Bryl, V.; Dalpiaz, F.; Ferrario, R.; Mattioli, A.; Villafiorita, A.Evaluating Procedural Alternatives: a Case Study in e-Voting.Electronic Government, an International Journal2009DownloadDetails

Back to top