Foundations of the WinWin requirements negotiation system
Ming-June Lee · 2015
This dissertation summarizes the results of applying several formal modeling capabilities to the WinWin system, and identi es the system improvements resulting from the analysis. WinWin is a groupware support system driven by the WinWin spiral process model. It enables multiple stakeholders to collaborate and negotiate requirements in an incremental and evolutionary way. It uses \\win conditions " to capture individual stakeholder objectives. \\Issues " are provided by the system to capture sets of con icting win conditions along with \\options", which are possible resolutions to issues. An \\agreement " adopts options chosen by stakeholders to resolve an issue and to reconcile the win conditions involved in that issue. These artifacts provide scalable structure for a groupware tool and accommodate changes to requirements. Initial use of WinWin uncovered several anomalous usage situations. These made it feasible and important to formally model these artifacts and operations to provide