http://www.cin.ufpe.br/~istar10

Final Program

Monday, June 07, 2010

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.

Tuesday, June 08, 2010

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

Version 4.0 (08 June 2010)

Legend:

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

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