DSM-TP 2013 - 4th International Summer School on Domain Specific Modeling - Theory and Practice

The main goal of the DSM-TP International Summer School, is the creation of a space for learning and discussion about Domain Specific Modeling.
This DSM-TP 2013 edition will happen from the 2nd to the 6th of September , and will be hosted this year by CiTIUS in the University of Santiago de Compostela in the beautiful Medieval Spanish city of Santiago de Compostela (Software Engineering College) and jointly co-organized by the following institutions:
CiTIUS at USC
Departamento de Informática at the Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa, Portugal
Software Modeling and Verification - SMV group from the University of Geneva, Switzerland
Modelling, Simulation and Design Lab - MSDL from McGill University, Canada
University of Antwerp, Belgium.
GSI (Grupo de Sistemas de Informação, Information Systems Group) from INESC-ID/IST, Portugal
More to be added soon.
The School
In the last decade, industry and academy have been looking at Model Driven Development (MDD) as an interesting approach to fight accidental complexity in system development, and to simulate models and understand their relations. In this regard, models and model transformations, expressed in appropriate formalisms, are seen as construction tools rather than just documentation. Models are the essential artifact to abstract everything and in this perspective one should strive to Model Everything.
On the one hand the industry lately has been reporting numerous examples where the use of MDD and the design of dedicated formalisms (Domain Specific Languages) for Model specification are success cases, especially in Software Product Lines. There is a wide range of application Domains: Interactive Systems, Real-Time Systems, Web 2.0 design, Business Architecture, Games, Industrial Automation, Hardware and Software Co-design, Mechatronics, Business Modeling, Requirements Engineering, or even Process Design. On the other hand, academy has been investing in this emerging field by developing foundations, systematic approaches, tools and frameworks that support Simulation and Verification, Model Checking and Model-Based Testing to bring it to a mature stage.
It has been difficult for practitioners, regular Software Engineers, to keep the pace of the evolution and be acquainted with this field. There is a wide set of tools and techniques available but no integrated vision of MDD. The community acknowledges the lack of forums to educate and present MDD in a comprehensive way.
From the above said, the 4th International Summer School on Domain Specific Modeling - Theory and Practice seeks to draw researchers, teachers, practitioners, and students (at MSc. or PhD. level) who intend to study or work with Domain Specific Modeling. The purpose is to learn principles and practices in a friendly and convivial environment. The lecturers are a mixed set of experienced professionals in the topic from both academic and industrial background.
The first two days of this Summer School are structured in several introductory classes to theoretical topics of DSMs and hands-on tutorials where techniques and tools will be explained and used. There will be a common Case Study to all the lectures and tutorials in order to have a continuous guideline among them, instead of isolated thematic talks. The fourth and fifth days will be dedicated to given an overall picture both from both the academic and industrial point of view of the most recent advances in the field highlighting the current research as well as discussing challenges and open issues.
The major topics approached during the school:
Model-Driven Development
Domain Specific Modeling and Languages
Domain Language Engineering Process
Languages MetaModeling
Model Transformations
Formalisms for Language Semantics
Model Checking and Theorem Provers
Model-Based Testing
Domain Specific Language Evaluation
Model Composition and MetaModel Composition
MDD Education
Tools used during the hands-on tutorials
DSLs, Language MetaModeling: GMF/GMF and Eugenia for Eclipse, Xtext, EMFText
Model Transformations: DSLTrans, ATL, Xpand
Verification: ALPINA(Model Checker), FORMULA(Microsoft)