Our SE Seminar takes place each week to present the work of SE group members and invited speakers. Attendance is open to everybody. Feel free to propose new seminars. Contact Golnaz to arrange a talk.
- When: (typically) 2pm - 4pm, Wednesdays
- Where: SE Debugging Room (the lounge area in the SE Lab)
Thursday, October 28th, 1pm, debugging room (3234)
Interactive Goal Model Analysis Applied - Systematic Procedures versus Ad hoc Analysis, Jennifer Horkoff
Abstract. Intentional modeling, capturing the goals of stakeholders, has been proposed as a means of early system elicitation and design for an enterprise, focusing on social and strategic requirements. It is often assumed that more utility can be gained from goal models by applying explicit analysis over models, but little work has been devoted to understand how or why this occurs. In this work we test existing hypotheses concerning interactive goal model analysis via multiple case studies. Previous results have indicated that such analysis increases model iteration, prompts further elicitation, and improves domain knowledge. Results of the new studies do not provide strong evidence to support these claims, showing that such benefits, when they occur, can occur both with systematic and ad-hoc model analysis. However, the results reveal other benefits of systematic analysis, such as a more consistent interpretation of the model, more complete analysis, and the importance of training.
Wed, November 10th, 2pm, debugging room (3234)
Ivan Jureta, FNDP/Université de Namur
Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling
Techne is an abstract requirements modeling language that lays formal foundations for new modeling languages applicable during early phases of the requirements engineering process. During these phases, the requirements problem for the system-to-be is being structured, its candidate solutions described and compared in terms of how desirable they are to stakeholders. We motivate the need for Techne, introduce it through examples, and sketch its formalization.