Program Monday, August 29, 2011 8:45-9:00 Opening Xavier Franch , Jaelson Castro, Eric Yu, John Mylopoulos 9:00-10:30 Session 1: Framework Evaluation Chair Renata Guizzardi Eight Deadly Sins of GRL Gunter Mussbacher - University of Ottawa, Canada Daniel Amyot - University of Ottawa, Canada. Patrick Heymans - University of Namur, Belgium iStarML: Principles and Implications Carlos Cares - Universidad de La Frontera, Chile Xavier Franch - Universitat Politècnica de Catalunya, Spain Empirical Evaluation of Tropos4AS Modelling Mirko Morandini - Fondazione Bruno Kessler, Italy Anna Perini - Fondazione Bruno Kessler, Italy Alessandro Marchetto - Fondazione Bruno Kessler, Italy 10:30-11:00 Break 11:00-12:30 Session 2: Model Analysis and Evaluation Chair Jaelson Castro Detecting Judgment Inconsistencies to Encourage Model Iteration in Interactive i* Analysis Jennifer Horkoff - University of Toronto, Canada Eric Yu - University of Toronto, Canada Towards a Declarative, Constraint- Oriented Semantics with a Generic Evaluation Algorithm for GRL H. Luo - University of Ottawa, Canada Daniel Amyot - University of Ottawa, Canada A Flexible Approach for Validating i* Models Ralf Laue - University of Leipzig, Germany Arian Storch - University of Leipzig, Germany 12:30-14:00 Lunch 14:00-15:30 Session 3a: Ontologies and Foundations Chair Daniel Amyot Ontological Analysis of Means-End Links Xavier Franch - Universitat Politècnica de Catalunya, Spain Renata Guizzardi - Federal University of Espírito Santo, Brazil Giancarlo Guizzardi - Federal University of Espírito Santo, Brazil Lidia López - Universitat Politècnica de Catalunya, Spain Supporting i* model integration through an ontology-based approach Karen Najera - National Center of Research and Technological Development - CENIDET, Mexico; FBK, Italy Anna Perini - Fondazione Bruno Kessler, Italy Alicia Martinez - National Center of Research and Technological Development - CENIDET, Mexico Hugo Estrada - National Center of Research and Technological Development - CENIDET, Mexico The mysteries of goal decomposition Scott Munro - York University, Canada Sotirios Liaskos - York University, Canada Jorge Aranda - University of Victoria, Canada 14:00-15:30 Session 3b: Enterprise and Software Architectures Chair Fabiano Dalpiaz Development of Agent-Driven Systems: from i* Architectural Models to Intentional Agents Code Maurício Serrano - Pontifícia Universidade Católica do Rio de Janeiro, Brazil Julio Cesar Sampaio do Prado Leite - Pontifícia Universidade Católica do Rio de Janeiro, Brazil Towards Adoption and Use of i* to Support Enterprise Architecture in Organizational Settings: a Position Paper Daniel Gross - University of Toronto, Canada. Uwe Zdun - University of Vienna, Austria Eric Yu - University of Toronto, Canada. Towards an i*-based Architecture Derivation Approach Diego Dermeval - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Monique Soares - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Fernanda Alencar - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Emanuel Santos -Universidade Federal de Pernambuco - UFPE, Recife, Brazil João Pimentel - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Jaelson Castro - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Márcia Lucena - Universidade Federal do Rio Grande do Norte - UFRN, Natal, Brazil Carla Silva - Universidade Federal da Paraíba - UFPB, Rio Tinto, Brazil Cleice Souza - Universidade Federal de Pernambuco - UFPE, Recife, Brazil 15:30-16:00 Break 16:00-18:00 Session 4a: Application to Domains Chair Daniel Gross Nòmos: from Strategic Dependencies to Obligations Silvia Ingolfo - University of Trento, Italy John Mylopoulos - University of Trento, Italy Anna Perini - Fondazione Bruno Kessler, Italy Alberto Siena - University of Trento, Italy Angelo Susi - Fondazione Bruno Kessler, Italy Technology Representation in i* Modules Eliel Morales - Centro Nacional de Investigación y Desarrollo Tecnológico, Cuernavaca, México Xavier Franch - Universitat Politècnica de Catalunya, Spain Alicia Martínez - Centro Nacional de Investigación y Desarrollo Tecnológico, Cuernavaca, México Hugo Estrada - Centro Nacional de Investigación y Desarrollo Tecnológico, Cuernavaca, México Oscar Pastor - Universitat Politècnica de València, Spain An extension of i* to Model CSCW Requirements Applied to a Collaborative Conference Review System Miguel A. Teruel - University of Castilla- La Mancha, Spain Elena Navarro - University of Castilla- La Mancha, Spain Víctor López-Jaquero - University of Castilla- La Mancha, Spain Francisco Montero - University of Castilla- La Mancha, Spain Pascual González - University of Castilla- La Mancha, Spain Modeling Strategy Maps and Balanced Scorecards using i* Constantinos Giannopoulis - Stockholm University, Sweden. Jelena Zdravkovic - Stockholm University, Sweden. 16:00-17:30 Session 4b: Variability, Product Lines, and SOA Chair Julio Leite Capturing Contextual Variability in i* Models Alexei Lapouchnian - University of Toronto, Canada. John Mylopoulos - University of Trento, Italy Security Requirements Engineering for Service-Oriented Applications Fabiano Dalpiaz - University of Trento, Italy Elda Paja - University of Trento, Italy Paolo Giorgini - University of Trento, Italy Goals and Scenarios for Requirements Engineering of Software Product Lines Gabriela Guedes - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Carla Silva - Universidade Federal da Paraíba - UFPB, Rio Tinto, Brazil Jaelson Castro - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Tuesday, August 30, 2011 9:00-10:30 Keynote Chair John Mylopoulos Governing Sociotechnical Systems Munindar P. Singh - North Carolina State University, USA 10:30-11:00 Break 11:00-12:30 Session 5a: User-Centered Design and Simulation Chair Sotirios Liaskos Bridging User-Centered Design and Requirements Engineering with GRL and Persona Cases Shamal Faily – University of Oxford, UK Issues and Challenges in Coupling Tropos with User-Centred Design Luca Sabatucci - Fondazione Bruno Kessler – IRST, Italy C. Leonardi - Fondazione Bruno Kessler – IRST, Italy A. Susi - Fondazione Bruno Kessler – IRST, Italy M. Zancanaro - Fondazione Bruno Kessler – IRST, Italy. Causal vs. Effectual Behavior - Support for Entrepreneurs Jan Schlüter - RWTH Aachen University Dominik Schmitz - RWTH Aachen University, Germany Malte Brettel - RWTH Aachen University, Germany Matthias Jarke - RWTH Aachen University, Germany Ralf Klamma - RWTH Aachen University, Germany 11:00-12:30 Session 5b: Sociality and Measurement Chair Anna Perini A Social Interaction Based Pre-Traceability for i* Models Maurício Serrano - Pontifícia Universidade Católica do Rio de Janeiro, Brazil Julio Cesar Sampaio do Prado Leite - Pontifícia Universidade Católica do Rio de Janeiro, Brazil Requirements Engineering for Social Applications Amit K. Chopra - University of Trento, Italy Paolo Giorgini - University of Trento, Italy Intentional Models based on Measurement Theory Andre Rifaut - Public Research Centre Henri Tudor, Luxembourg 12:30-14:00 Lunch 14:00-15:30 Tools Fair Chair Jennifer Horkoff I*-Prefer: A Tool for Preference Model-Driven Decision Making Tianying Li - Tsinghua University, China Tong Li - Tsinghua University, China Haihua Xie - Tsinghua University, China Lin Liu - Tsinghua University, China OpenOME: An Open-source Goal and Agent-Oriented Model Drawing and Analysis Tool Jennifer Horkoff - University of Toronto, Canada Yijun Yu - The Open University, United Kingdom Eric Yu - University of Toronto, Canada Implementing Structural Measures over i* Diagrams Daniel Colomer - Universitat Politècnica de Catalunya, Spain Xavier Franch - Universitat Politècnica de Catalunya, Spain GRL Modeling and Analysis with jUCMNav Daniel Amyotv - University of Ottawa, Canada Gunter Mussbacher - Carleton University, Ottawa, Canada Sepideh Ghanavati - University of Ottawa, Canada Jason Kealey - LavaBlast Software Inc., Ottawa, Canada iStarTool: Modeling requirements using the i* framework Átlia Malta - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Monique Soares - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Emanuel Santos - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Josias Paes - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Fernanda Alencar - Universidade Federal de Pernambuco - UFPE, Recife, Brazil Jaelson Castro Universidade Federal de Pernambuco - UFPE, Recife, Brazil Tool Interoperability using iStarML Carlos Cares - Universidad de La Frontera, Chile Xavier Franch - Universitat Politècnica de Catalunya, Spain Daniel Colomer - Universitat Politècnica de Catalunya, Spain Lidia López - Universitat Politècnica de Catalunya, Spain Adding Functionality to openOME for Everyone Ralf Laue - University of Leipzig, Germany Arian Storch - University of Leipzig, Germany Tropos modeling, code generation and testing with the Taom4E tool Mirko Morandini - FBK-CIT, Trento, Italy Cu Duy Nguyen - FBK-CIT, Trento, Italy Loris Penserini - FBK-CIT, Trento, Italy Anna Perini - FBK-CIT, Trento, Italy Angelo Susi - FBK-CIT, Trento, Italy Analysing a repository of design knowledge with the GO-DKL browser Andrew Hilts - University of Toronto, Canada Eric Yu - University of Toronto, Canada i* Modules: a jUCMNav Implementation Daniel Colomer - Universitat Politècnica de Catalunya, Spain Xavier Franch - Universitat Politècnica de Catalunya, Spain 15:30-16:00 Break 16:00-17:30 Closing discussion Chair Xavier Franch Last Update: 08/20/2011