Accepted Papers

Track: Model Driven Engineering

Chair: John Krogstie, NTNU

An Extensible Aspect-oriented Modeling Environment
Naoyasu Ubayashi, Kyushu Institute of Technology, Japan
Genya Otsubo, Kyushu Institute of Technology, Japan
Kazuhide Noda, Kyushu Institute of Technology, Japan
Jun Yoshida, Kyushu Institute of Technology, Japan

Incremental Detection of Model Inconsistencies based on Model Operations
Xavier Blanc, INRIA, France
Alix Mougenot, LIP6, France
Isabelle Mounier, LIP6, France
Tom Mens, Université de Mons-Hainaut, Belgium

Reasoning on UML Conceptual Schemas with Operations
Anna Queralt, Universitat Politècnica de Catalunya, Spain
Ernest Teniente, Universitat Politècnica de Catalunya, Spain

 

Track: Conceptual Modelling 1

Chair: Pnina Soffer, University of Haifa

Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects
Klaus Haller, COMIT AG, Zurich, Switzerland

Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings
Lu Mao, University of Manchester, UK
Khalid Belhajjame, University of Manchester, UK
Norman W.Paton, University of Manchester, UK
Alvaro A. A.Fernandes, University of Manchester, UK

The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Giancarlo Guizzardi, Federal University of Espirito Santo (UFES), Brazil

 

Track: Conceptual Modelling 2

Chair: Oscar Pastor, Valencia University of Technology

Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles
Giovanni Giachetti, Centro de Investigación en Métodos de Producción de Software - Universidad Politécnica de Valencia, Spain
Beatriz Marín, Centro de Investigación en Métodos de Producción de Software - Universidad Politécnica de Valencia, Spain
Oscar Pastor, Centro de Investigación en Métodos de Producción de Software - Universidad Politécnica de Valencia, Spain

Verifying Action Semantics Specifications in UML Behavioral Models
Elena Planas, Universitat Oberta de Catalunya, Spain
Jordi Cabot, Universitat Oberta de Catalunya, Spain
Cristina Gómez, Universitat Politècnica de Catalunya, Spain

Using Macromodels to Manage Collections of Related Models
Rick Salay, University of Toronto, Canada
John Mylopoulos, University of Toronto, Canada
Steve Easterbrook, University of Toronto, Canada

 

Track: Quality and Data Integration

Chair: Hans Weigand, University of Tilburg

A Case Study of Defect Introduction Mechanisms
Arbi Ghazarian, University of Toronto, Canada

Measuring and Comparing Effectiveness of Data Quality Techniques
Lei Jiang, University of Toronto, Canada
Daniele Barone, Universita di Milano Bicocca, Italy
Alex Borgida, Rutgers University, USA
John Mylopoulos, University of Toronto, Canada

Improving model quality using diagram coverage criteria
Rick Salay, University of Toronto, Canada
John Mylopoulos, University of Toronto, Canada

 

Track: Goal-Oriented Requirements Engineering

Chair: Eric Dubois, CRP Henri Tudor

A Method for the Definition of Metrics over i* Models
Xavier Franch, Universitat Politècnica de Catalunya, Spain

Preference Model Driven Services Decision Making
Wenting Ma, School of Software, Tsinghua University, China
Lin Liu, School of Software, Tsinghua University, China
Haihua Xie, School of Software, Tsinghua University, China
Hongyu Zhang, School of Software, Tsinghua University, China

Secure Information Systems Engineering: Experiences and Lessons Learned from two Health Care Projects
Haralambos Mouratidis, University of East London, England
Ali Sunyaev, Technische Universitat Munchen, Germany
Jan Jurjens, Open University, England

 

Track: Requirements and Architecture

Chair: Erik Proper, Radboud University Nijmegen

An Architecture for Requirements-driven Self-reconfiguration
Fabiano Dalpiaz, DISI - University of Trento, Italy
Paolo Giorgini, DISI - University of Trento, Italy
John Mylopoulos, DISI - University of Trento, Italy

Automated Context-aware Service Selection for Collaborative Systems
Hong Qing Yu, University of Leicester, UK
Stephan Reiff-Marganiec, University of Leicester, UK

Development Framework for Mobile Social Applications
Alexandre De Spindler, Institute for Information Systems, ETH Zurich, Switzerland
Michael Grossniklaus, Institute for Information Systems, ETH Zurich, Switzerland
Moira Norrie, Institute for Information Systems, ETH Zurich, Switzerland

 

Track: Service Orientation

Chair: Barbara Pernici, Politecnico di Milano

Evolving Services from a Contractual Perspective
Vasilios Andrikopoulos, Tilburg University, Netherlands
Salima Benbernou, University Lyon1, France
Mike Papazoglou, Tilburg University, Netherlands

Efficient IR-Style Search over Web Services
Yanan Hao, Victoria University, Australia

Towards a Sustainable Services Innovation in the Construction Sector
Sylvain Kubicki, Public Research Centre Henri Tudor, Luxembourg
Eric Dubois, Public Research Centre Henri Tudor, Luxembourg
Gilles Halin, Research Centre in Architecture and Engineering, France
Annie Guerriero, Public Research Centre Henri Tudor, Luxembourg

 

Track: Web Service Orchestration

Chair:

P2S: a methodology to enable inter-organizational process design through Web Services
Devis Bianchini, University of Brescia, Italy
Cinzia Cappiello, Politecnico of Milan, Italy
Valeria DeAntonellis, University of Brescia, Italy
Barbara Pernici, Politecnico of Milan, Italy

Composing Time-aware Web Service Orchestrations
Horst Pichler, University Klagenfurt/Institute Informatic-Systems, Austria
Michaela Wenger, University Klagenfurt/Institute Informatic-Systems, Austria
Johann Eder, University Klagenfurt/Institute Informatic-Systems, Austria

Asynchronous Timed Web Service-Aware Choreography Analysis
Nawal Guermouche, INRIA-LORIA, France
Claude Godart, INRIA-LORIA, France

 

Track: Value-Driven Modelling

Chair: Michael Petit, University of Namur

Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems
Bela Mutschler, University of Applied Sciences Ravensburg-Weingarten, Business Informatics Group, Germany
Manfred Reichert, University of Ulm, Institiute Databases and Information Systems, Germany

Using the REA ontology to create interoperability between e-collaboration modeling standards
Frederik Gailly, Faculty of Economics and Business Administration, Ghent University, Belgium
Geert Poels, Faculty of Economics and Business Administration, Ghent University, Belgium

Value-based Service Modeling and Design: Toward a Unified View of Services
Hans Weigand, Tilburg University, The Netherlands
Paul Johannesson, Royal Institute of Technology, Sweden
Birger Andersson, Royal Institute of Technology, Sweden
Maria Bergholtz, Royal Institute of Technology, Sweden

 

Track: Workflow

Chair: Manfred Reichert, University of Ulm

Data-Flow Anti-Patterns: Discovering Dataflow Errors in Workflows
Nikola Trcka, Eindhoven University of Technology, Netherlands
Wil M.P. van der Aalst, Eindhoven University of Technology, Netherlands
Natalia Sidorova, Eindhoven University of Technology, Netherlands

Process Algebra-Based Query Workflows
Thomas Hornung, University of Freiburg, Database and Information Systems Group, Germany
Wolfgang May, Universität Göttingen, Institut für Informatik, Germany
Georg Lausen, University of Freiburg, Database and Information Systems Group, Germany

ETL Workflow Analysis and Verification Using Backwards Constraint Propagation
Jie Liu, University of Science and Technology of China; Institute of Software, Chinese Academy of Sciences, China
Senlin Liang, Department of Computer Science , State University of New York at Stony Brook, USA
Dan Ye, Institute of Software, Chinese Academy of Sciences, China

 

Track: Business Process Modelling

Chair: Johann Eder, University of Klagenfurt

The Declarative Approach to Business Process Execution: An Empirical Test
Barbara Weber, University of Innsbruck, Austria
Hajo A. Reijers, Eindhoven University of Technology, Netherlands
Stefan Zugal, University of Innsbruck, Austria
Werner Wild, Evolution Consulting, Austria

Configurable Process Models: Experiences from a Municipality Case Study
Florian Gottschalk, Eindhoven University of Technology, The Netherlands
Teun A.C. Wagemakers, Eindhoven University of Technology, The Netherlands
Monique H. Jansen-Vullers, Eindhoven University of Technology, The Netherlands
Wil M.P. van derAalst, Eindhoven University of Technology, The Netherlands
Marcello La Rosa, Queensland University of Technology, Australia

Process Modeling: Current Issues and Future Challenges
Marta Indulska, The University of Queensland, Australia
Jan Recker, Queensland University of Technology, Australia
Michael Rosemann, Queensland University of Technology, Australia
Peter Green, The University of Queensland, Australia

 

Track: Requirements Engineering

Chair: Xavier Franch, Universitat Politècnica de Catalunya

Deriving Information Requirements from Responsibility Models
Ian Sommerville, School of Computer Science, University of St Andrews, Scotland
Russell Lock, School of Computer Science, University of St Andrews, Scotland
Tim Storer, School of Computer Science, University of St Andrews, Scotland
John EDobson, School of Computer Science, University of St Andrews, Scotland

Communication Analysis: a Requirements Elicitation approach for Information Systems
Sergio España, Centro de Investigación en Métodos de Producción Software, Universidad Politécnica de Valencia, Spain
Arturo González, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain
Óscar Pastor, Centro de Investigación en Métodos de Producción Software, Universidad Politécnica de Valencia, Spain

Spectrum Analysis for Quality Requirements by using A Term-characteristics Map
Haruhiko Kaiya, Sinshu University, Japan
Masaaki Tanigawa, Sinshu University, Japan
Shunichi Suzuki, Sinshu University, Japan
Tomonori Sato, Sinshu University, Japan
Kenji Kaijiri, Sinshu University, Japan