The Community for Technology Leaders
2013 International Model-Driven Requirements Engineering Workshop (MoDRE) (2013)
Rio de Janeiro, Brazil
July 15, 2013 to July 15, 2013
ISBN: 978-1-4799-0946-9
TABLE OF CONTENTS

[Front cover] (PDF)

pp. i-ii

Contents (PDF)

pp. 1

Preface (PDF)

Ana Moreira , Universidade Nova de Lisboa, Portugal
Gunter Mussbacher , University of Ottawa, Canada
Joao Araujo , Universidade Nova de Lisboa, Portugal
Nelly Bencomo , INRIA, France
Pablo Sanchez , Universidad de Cantabria, Spain
pp. iii-iv

Generating goal-oriented models from creative requirements using model driven engineering (Abstract)

Fernando Wanderley , CITI, FCT, Universidade Nova de Lisboa, Caparica, Portugal
Joao Araujo , CITI, FCT, Universidade Nova de Lisboa, Caparica, Portugal
pp. 1-9

Requirements for a modeling language to specify and match business process improvement patterns (Abstract)

Alireza Pourshahid , School of Electrical Engineering and Computer Science, University of Ottawa, Canada
Gunter Mussbacher , School of Electrical Engineering and Computer Science, University of Ottawa, Canada
Daniel Amyot , School of Electrical Engineering and Computer Science, University of Ottawa, Canada
Michael Weiss , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
pp. 10-19

Improving user involvement through a model-driven requirements approach (Abstract)

Jose Matias Rivero , LIFIA, Facultad de Informática - Universidad Nacional de La Plata, Buenos Aires, Argentina
Esteban Robles Luna , LIFIA, Facultad de Informática - Universidad Nacional de La Plata, Buenos Aires, Argentina
Julian Grigera , LIFIA, Facultad de Informática - Universidad Nacional de La Plata, Buenos Aires, Argentina
Gustavo Rossi , LIFIA, Facultad de Informática - Universidad Nacional de La Plata, Buenos Aires, Argentina
pp. 20-29

Towards a comprehensive Meta-Model for KAOS (Abstract)

Joshua C. Nwokeji , School of Science and Technology, Middlesex University London, England, United Kingdom
Tony Clark , School Science and Technology, Middlesex University, London, England, United Kingdom
Balbir S. Barn , School of Science and Technology, Middlesex University, London, England, United Kingdom
pp. 30-39

RSL-IL: An interlingua for formally documenting requirements (Abstract)

David de Almeida Ferreira , INESC-ID, Instituto Superior Técnico (IST), Lisbon, Portugal
Alberto Rodrigues da Silva , INESC-ID, Instituto Superior Técnico (IST), Lisbon, Portugal
pp. 40-49

Modelling data interaction requirements: A position paper (Abstract)

Sagar Sen , Certus V&V Center, Simula Research Laboratory, Lysaker, Norway
Jose Luis de la Vara , Certus V&V Center, Simula Research Laboratory, Lysaker, Norway
Arnaud Gotlieb , Certus V&V Center, Simula Research Laboratory, Lysaker, Norway
Arnab Sarkar , Institute Of Engineering And Management, West Bengal University Of Technology, Kolkata, India
pp. 50-54

Towards the model-driven engineering of security requirements for embedded systems (Abstract)

Yves Roudier , EURECOM, Network and Security Department, Sophia Antipolis, France
Muhammad Sabir Idrees , EURECOM, Network and Security Department, Sophia Antipolis, France
Ludovic Apvrille , Institut Mines-Telecom, Telecom ParisTech, CNRS/LTCI, System-On-Chip laboratory (LabSoC), Sophia Antipolis, France
pp. 55-64

Security requirements formalized with OCL in a model-driven approach (Abstract)

Marian Borek , Department of Software Engineering, University of Augsburg, Germany
Nina Moebius , Department of Software Engineering, University of Augsburg, Germany
Kurt Stenzel , Department of Software Engineering, University of Augsburg, Germany
Wolfgang Reif , Department of Software Engineering, University of Augsburg, Germany
pp. 65-73

Modelling multiplicity in choreography models (Abstract)

Urooj Fatima , Department of Telematics, Norwegian University of Science and Technology, Trondheim, Norway
Rolv Braek , Department of Telematics, Norwegian University of Science and Technology, Trondheim, Norway
pp. 74-78
80 ms
(Ver 3.3 (11022016))