Program

9:00-9:30

Opening

Xavier Franch , Jaelson Castro,  Eric Yu, John Mylopoulos

9:30-10:30

Keynote

Chair John Mylopoulos

On difficulties of forming opinions on what you don't know that you don't know - in Information Systems Engineering

Arne Sølvberg - Norwegian University of Science and Technology, Norway.

10:30-11:00

Session 1:  Pragmatics

Chair Xavier Franch

Using i* to Support a Summative Evaluation

James Lockerbie - City University London, United Kingdom.

Neil Maiden - City University London, United Kingdom.

Amir Dotan - City University London, United Kingdom.

Valentina Lichtner - London School of Economics and Political Science, United Kingdom.

11:00-11:30

Break

11:30-13:00

Session 1:  Pragmatics (cont.)

Using intentional actor modeling to support  the evolution of enterprise software architectures in organizations

Daniel Gross - University of Toronto, Canada

Eric Yu - University of Toronto, Canada

Improving the Modularity of i* Models

Fernanda Alencar - Universidade Federal de Pernambuco, Brazil.

Márcia Lucena - Universidade Federal do Rio Grande do Norte, Brazil.

Carla Silva - Universidade Federal da Paraíba, Brazil.

Emanuel Santos - Universidade Federal de Pernambuco, Brazil.

Jaelson Castro - Universidade Federal de Pernambuco, Brazil.

Itemized Strategic Dependency: a Variant of the i* SD Model to Facilitate Knowledge Elicitation

Hesam Chiniforooshan Esfahani - University of Toronto, Canada.

Eric Yu - University of Toronto, Canada.

Maria Carmela Annosi - Ericsson Telecomunicazioni S.p.a, Italy.

13:00-14:30

Lunch

14:30-16:00

Session 2: Goals & Adaptivity

Chair Jaelson Castro

The Evolution of Tropos: Contexts, Commitments and Adaptivity

Raian Ali - University of Trento, Italy.

Amit K. Chopra - University of Trento, Italy.

Fabiano Dalpiaz - University of Trento, Italy.

Paolo Giorgini - University of Trento, Italy.

John Mylopoulos - University of Trento, Italy.

Vitor E. Silva  Souza - University of Trento, Italy.

Deriving Adaptive Behaviour from i* models

Kristopher Welsh - Lancaster University, United Kingdom.

Pete Sawyer - Lancaster University, United Kingdom.

From Adaptive Systems Design to Autonomous Agent Design (short paper)

Alexei Lapouchnian - University of Toronto, Canada.

 Yves Lespérance -  York University, Canada.

Exploring risk-awareness in i* models (short paper)

Constantinos Giannoulis - Stockholm University, Sweden.

Jelena Zdravkovic - Stockholm University, Sweden.

16:00-16:30

Break

16:30-17:30

Session 3:  Analysis

Chair Luiz Marcio Cysneiros

A Framework for Iterative, Interactive Analysis of Agent-Goal Models in Early Requirements Engineering

Jennifer Horkoff - University of Toronto, Canada.

Eric Yu - University of Toronto, Canada.

Automated Generation of Attack Routes for Service Security Analysis - A Preliminary Report

Tong Li - Tsinghua University, China.

 Golnaz Elahi - University of Toronto, Canada.

 Lin Liu - Tsinghua University, China.

 Eric Yu - University of Toronto, Canada.

9:00-11:00

Session 4:  Experience Reports

Chair Oscar Pastor

Requirements Engineering for  Control Systems

Dominik Schmitz - RWTH Aachen University, Germany.

Hans W. Nissen - Cologne University of Applied Sciences, Germany.

Matthias Jarke - RWTH Aachen University, Germany / Fraunhofer FIT, Germany.

Thomas Rose - RWTH Aachen University, Germany / Fraunhofer FIT, Germany.

A bit of "persona", a bit of "goal", a bit of "process" ... a recipe for analyzing user intensive software systems

Chiara Di Francescomarino - Fondazione Bruno Kessler, Italy.

Chiara Leonardi - Fondazione Bruno Kessler, Italy.

Alessandro Marchetto - Fondazione Bruno Kessler, Italy.

Cu D. Nguyen - Fondazione Bruno Kessler, Italy.

Nauman A. Qureshi - Fondazione Bruno Kessler, Italy.

Luca Sabatucci - Fondazione Bruno Kessler, Italy.

Anna Perini - Fondazione Bruno Kessler, Italy.

Angelo Susi - Fondazione Bruno Kessler, Italy.

Paolo Tonella - Fondazione Bruno Kessler, Italy.

Massimo Zancanaro - Fondazione Bruno Kessler, Italy.

i* on ADOxx®: A Case Study

Margit Schwab - Universitaet Wien, Austria.

Dimitris Karagiannis - Universitaet Wien, Austria.

Alexander Bergmayr - Universitaet Wien, Austria.

Using i* and Tropos in a Software Engineering Contest: Lessons Learnt and Some Key Challenges

João Pimentel - Universidade Federal de Pernambuco, Brazil.

Emanuel Santos - Universidade Federal de Pernambuco, Brazil.

Bárbara Santos - Universidade Federal de Pernambuco, Brazil.

Clarissa Borba - Universidade Federal de Pernambuco, Brazil.

Josias Paes - Universidade Federal de Pernambuco, Brazil.

Carlos Lima - Universidade Federal de Pernambuco, Brazil.

André Bezerra - Universidade Federal de Pernambuco, Brazil.

Jaelson Castro - Universidade Federal de Pernambuco, Brazil.

Fernanda Alencar - Universidade Federal de Pernambuco, Brazil.

Carla Silva - Universidade Federal da Paraíba, Brazil.

Ricardo Ramos - Universidade Federal do Vale do São Francisco, Brazil.

Marcia Lucena - Universidade Federal do Rio Grande do Norte, Brazil.

11:00-11:30

Break

11:30-13:00

Session 5:  Goals, Business Processes &  Extensions

Chair Eric Yu

From Business Services to Web Services: an MDA Approach

Hugo Estrada - Centro Nacional de Investigación y Desarrollo Tecnológico, Mexico.

Itzel Morales-Ramírez - Universidad Veracruzana, Mexico.

Alicia Martínez - Centro Nacional de Investigación y Desarrollo Tecnológico, Mexico.

Oscar Pastor - Universidad Politécnica de Valencia, Spain.

On temporally annotating goal models

Sotirios Liaskos - York University, Canada.

John Mylopoulos - University of Toronto, Canada.

On the use of the Goal-Oriented Paradigm for System Design and Law  Compliance Reasoning

Mirko Morandini - Fondazione Bruno Kessler – IRST, Italy.

Luca Sabatucci - Fondazione Bruno Kessler – IRST, Italy.

Alberto Siena - Fondazione Bruno Kessler – IRST, Italy.

John Mylopoulos - University of Trento, Italy.

Loris Penserini - Fondazione Bruno Kessler – IRST, Italy.

Anna Perini - Fondazione Bruno Kessler – IRST, Italy.

Angelo Susi - Fondazione Bruno Kessler – IRST, Italy.

13:00-14:30

Lunch

14:30-16:00

Session 6:  Meta-modeling

Chair Angelo Susi

Using i* Meta Modeling for Verifying i* Models

Antonio de Padua Albuquerque Oliveira - Universidade do Estado do Rio de Janeiro, Brazil / Pontificia Universidade Católica do Rio de Janeiro, Brazil.

Julio Cesar Sampaio do Prado Leite - Pontificia Universidade Católica do Rio de Janeiro, Brazil.

Luiz Marcio Cysneiros - York University, Canada.

From i* to OO-Method: Problems and Solutions

Fernanda Alencar - Universidade Federal de Pernambuco, Brazil.

Beatriz Marín - Universidad Politécnica de Valencia, Spain.

Giovanni Giachetti - Universidad Politécnica de Valencia, Spain.

Emanuel Santos - Universidade Federal de Pernambuco, Brazil.

Oscar Pastor - Universidad Politécnica de Valencia, Spain.

Jaelson Castro - Universidade Federal de Pernambuco, Brazil.

Xavier Franch - Universitat Politècnica de Catalunya, Spain.

Definition and Uses of the i* Metamodel

Carlos Cares - Universitat Politècnica de Catalunya, Spain / Universidad de La Frontera, Chile.

Xavier Franch - Universitat Politècnica de Catalunya, Spain.

Lidia López - Universitat Politècnica de Catalunya, Spain.

Jordi Marco - Universitat Politècnica de Catalunya, Spain.

16:00-16:30

Break

17:30-18:00

Closing discussion

Eric Yu,  Jaelson Castro, Xavier Franch   and  John Mylopoulos

·         Short Papers are listed in blue (15 minutes slot).

·         Full Papers are listed in black (30 minutes slot).