posted by organizer: vamaral || 4202 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

MLE 2022   4th International Workshop on Modeling Language Engineering (MLE)
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
IEEE ICSTE 2022   IEEE--2022 12th International Conference on Software Technology and Engineering (ICSTE 2022)
MDASD 2022   7th Workshop on Model Driven Approaches in System Development
AISO 2022   8th International Conference on Artificial Intelligence and Soft Computing
VS3 2022   Vision and Sports Summer School 2022
CSTY 2022   8th International Conference on Computer Science and Information Technology
SD-LLOD 2022   4th Summer Datathon on Linguistic Linked Open Data
LSSSC 2022   XII Lisbon Summer School for the Study of Culture - MASQUERADES