posted by organizer: vamaral || 3722 views || tracked by 10 users: [display]

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


When Sep 2, 2013 - Sep 6, 2013
Where Santiago de Compostela, Spain
Submission Deadline Jul 31, 2013
Final Version Due Oct 15, 2013
Categories    software engineering   modelling   model-driven development   programming languages

Call For Papers

Call For Participation
In the last decade, industry and academy have been looking at Domain Specific Modeling (DSM) and their interelated techniques in Model Driven Development (MDD) as an interesting approach to fight the 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.

Academy has been investing very recently 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. However, 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 the DSM practice. The community acknowledges the lack of forums to educate and presente those topics in a comprehensive way.

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.

DSM-TP is hosted by CiTIUS, at the University of Santiago de Compostela, at the beautiful historic city of Santiago de Compostela in Spain. The organization is in cooperation with:

- Software Modelling and Verification - SMV group from the University of Geneva, Switzerland
- Modeling, Simulation and Design Lab - MSDL from the McGill University, Montreal Canada
- University of Antwerp, Belgium
- University of Alabama, USA
- CITI / FCT - Universidade Nova de Lisboa, Portugal
- GSI (Grupo de Sistemas de Informação, Information Systems Group) INESC-ID/IST

The School is structured in several introductory classes about theoretical topics of DSMs folowed by 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. Additionally, dedicated advanced talks will give 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.

Important Dates
Registration opening: 1 June, 2013
Early registration deadline: 15th July, 2013
Registration deadline to benefit from the University Residency prices: 30 June, 2013
Poster/Presentation Summary deadline (see website): 30 July, 2013

For More Information
Please consult http:

The Topics
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

Tools used during the hands-on tutorials
DSLs, Language Metamodeling: AtomPM, Epsilon tools, GMF/GMF, Eugenia
Model Transformations: DSLTrans, T-Core, EGL, ETL
Model Verification: ALPINA, FORMULA

The Program Committee
- Maurício Alférez, INRIA (France)
- Vasco Amaral, CITI FCT, Universidade Nova de Lisboa (Portugal)
- João Araújo, CITI, FCT, Universidade Nova de Lisboa (Portugal)
- Didier Buchs, University of Geneva (Switzerland)
- Paulo Carreira, INESC-ID IST UTL (Portugal)
- Miguel Goulão, CITI, Universidade Nova de Lisboa (Portugal)
- Ethan Jackson, Microsoft Research (USA)
- Ana Moreira, CITI, FCT, Universidade Nova de Lisboa (Portugal)
- Bernhard Schätz , Fortiss, (Germany)
- Eugene Syriani, University of Alabama, (USA)
- Hans Vangheluwe , MSDL, Antwerp University, (Belgium) and McGill
University, Montreal (Canada)
- (more members soon)

The Venue
Will take place at CiTIUS, University of Santiago de Compostela, Spain.

The registration is open to everybody, with a limited number of places
available. For more details please consult the website and send your intent to submit to
using the subject:"DSM-TP: Registration intention"

ECTS Credits
A certificate of attendance will be provided (participation in all sessions is required). Evaluation is not mandatory. However, upon request, students can be formally evaluated and earn the equivalent to 3
credits ECTS (accepted by the USC) to be credited by each origin University.

Related Resources

MDASD 2020   6th Workshop on Model Driven Approaches in System Development
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
SIGL 2021   8th International Conference on Signal and Image Processing
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
eBISS 2020   10th European Big Data Management & Analytics Summer School
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
UBISS 2020   11th International UBI Summer School 2020
IEEE TC on Domain-Specific Architectures 2020   Call for Papers: IEEE TC Special Issue on Domain-Specific Architectures for Emerging Applications