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.
Authors | Title | Place published | Year published | ||
---|---|---|---|---|---|
Asnar, Y.; Bryl, V.; Giorgini, P. | Using Risk Analysis to Evaluate Design Alternatives. | Agent-Oriented Software Engineering VII, Post-proceedings (invited paper) | 2007 | Download | Details |
P. Giorgini; J. Mylopoulos; R. Sebastiani | Simple and Minimum-Cost Satisfiability for Goal Models. | 16th Conference On Advanced Information Systems Engineering (CAiSE*04) | 2004 | Download | Details |
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) | 2007 | Download | Details |
P. Giorgini; J. Mylopoulos; E. Nicchiarelli; R. Sebastiani | Reasoning with Goal Models. | 21st International Conference on conceptual Modeling (ER2002) | 2002 | Download | Details |
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 |
Asnar, Y.; Giorgini, P. | Modelling Risk and Identifying Countermeasure in Organizations. | 1st International Workshop on Critical Information Infrastructures Security (CRITIS '06) | 2006 | Download | Details |
P. Giorgini; J. Mylopoulos; R. Sebastiani | Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology. | Engineering Applications of Artifcial Intelligence | 2005 | Details | |
P. Giorgini; J. Mylopoulos; E. Nicchiarelli; R. Sebastiani | Formal Reasoning Techniques for Goal Models. | Journal of Data Semantics | 2004 | Download | Details |
Bryl, V.; Dalpiaz, F.; Ferrario, R.; Mattioli, A.; Villafiorita, A. | Evaluating Procedural Alternatives: a Case Study in e-Voting. | Electronic Government, an International Journal | 2009 | Download | Details |
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) | 2007 | Download | Details |
Siena, A.; Bonetti, A.; Giorgini, P. | Balancing Business Perspectives in Requirements Analysis. | Lecture Notes in Communications in Computer and Information Science | 2008 | Download | Details |
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) | 2008 | Download | Details |
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) | 2007 | Download | Details |