Following the tradition of previous instances of the MoDELS conference series, 11 workshops and two symposia were hosted in 2007. These satellite events complemented the main conference by providing room for important subject areas and enabling a high degree of interactivity. The selection of the workshops was organized like in former instances of the MoDELS conference series by a Workshop Selection Committee. The following well-known experts agreed to serve on this committee: Gabor Karsai, Vanderbilt University, USA Thomas Kuhne, ¨ Darmstadt University of Technology, Germany Jochen Kuster ¨ , IBM Research Zurich, Switzerland Henry Muccini, University of L Aquila, Italy Sebastian Uchitel, Imperial College London, UK Theworkshopsprovidedcollaborativeforumsforparticulartopics.Theyenabled a group of participants to exchange recent and/or preliminary results, to c- duct intensive discussions, or to coordinate e?orts between representatives of a technical community. They served as forums for lively discussion of innovative ideas, recent progress, or practical experience on model-driven engineering for speci?c aspects, speci?c problems, or domain-speci?c needs. As in previous editions, there were a Doctoral Symposium and an Edu- tors Symposium. The Doctoral Symposium provided speci?c support for PhD students to discuss their work and receive useful guidance for the completion of their dissertation research. The Educators Symposium addressed how to e- cate students as well as practitioners to move from traditional thinking to an engineering approach based on models.
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).
The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.