Vol-262 © 2007 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.

DOCTORAL SYMPOSIUM at MoDELS 2007

Proceedings of the Doctoral Symposium
at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems

Nashville (TN), USA, October 1st, 2007

Claudia Pons

Table of Contents

Foreword

1. Doctoral Symposium foreword
   Claudia Pons (LIFIA, University of La Plata, Argentina)

   Research Papers

2. Towards a Formal Framework for Multimodeling in Software Engineering
   Rick Salay (University of Toronto. CANADA)
3. Definition of Visual Language Editors Using Declarative Languages
   Torbjörn Lundkvist (TUCS Turku Centre for Computer Science. Åbo Akademi University, FINLAND)
4. Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification
   Michelle L. Crane (Queen's University, Kingston, Ontario, CANADA)
5. Models in Conflict - A Semantically Enhanced Version Control System for Models
   Kerstin Altmanninger (Department of Telecooperation, Johannes Kepler University Linz, AUSTRIA)
6. Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
   Hongzhi Liang (School of Computing, Queen’s University, CANADA)
7. A Methodological Approach to Developing Model Transformations
   Andres Vignaga (Universidad de Chile, FCFM, Dep. de Ciencias de la Computacion. CHILE)
8. Validation of System Behavior from an Integrated Semantics of Use Case and Design Models
   Duc-Hanh Dang (Department of Computer Science, University of Bremen, GERMANY)
9. Semantics Preserving Model Composition
   Jon Oldevik (University of Oslo, Department of Informatics, Oslo, NORWAY)
10. Aspect oriented User Requirements Notation
    Gunter Mussbacher (SITE - University of Ottawa, CANADA)