<div dir="ltr">
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"">------------------------------------------<br>
DSM-TP</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif""><br>
4th International Summer School on<br>
Domain Specific Modeling - Theory and Practice<br>
<br>
Lisbon, 2-6 September 2013<br>
<br>
<a href="http://www.dsm-tp.org" target="_blank"><span style="color:blue">http://www.dsm-tp.org</span></a><br>
<br>
------------------------------------------</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif""><br>
* I m p o r t a n t d a t e s *<br>
<br>
Registration opening: 1 June,
2013<br>
Early registration deadline: 15th July, 2013<br>
<br>
Keywords: Domain Specific Languages, Model-Driven Development, Model<br>
Transformations, Model Transformations, Model Checking, Model-Based<br>
Testing, Validation, Verification<br>
<br>
* T h e S c h o o l *<br>
<br>
In the last decade, industry and academy have been looking at Model<br>
Driven Development (MDD) as an interesting approach to fight<br>
accidental complexity in system development, and to simulate models<br>
and understand their relations. In this regard, models and model<br>
transformations, expressed in appropriate formalisms, are seen as<br>
construction tools rather than just documentation. Models are the<br>
essential artifact to abstract everything and in this perspective one<br>
should strive to Model Everything.<br>
<br>
On the one hand the industry lately has been reporting numerous<br>
examples where the use of MDD and the design of dedicated formalisms<br>
(Domain Specific Languages) for Model specification are success cases,<br>
especially in Software Product Lines. There is a wide range of<br>
application Domains: Interactive Systems, Real-Time Systems, Web 2.0<br>
design, Business Architecture, Games, Industrial Automation, Hardware<br>
and Software Co-design, Mechatronics, Business Modeling, Requirements<br>
Engineering, or even Process Design. On the other hand, academy has<br>
been investing in this emerging field by developing foundations,<br>
systematic approaches, tools and frameworks that support Simulation<br>
and Verification, Model Checking and Model-Based Testing to bring it<br>
to a mature stage.<br>
<br>
It has been difficult for practitioners, regular Software Engineers,<br>
to keep the pace of the evolution and be acquainted with this field.<br>
There is a wide set of tools and techniques available, but no<br>
integrated vision of MDD. The community acknowledges the lack of<br>
forums to educate and present MDD in a comprehensive way.<br>
<br>
>From the above said, the 4th International Summer School on Domain<br>
Specific Modeling - Theory and Practice seeks to draw researchers,<br>
teachers, practitioners, and students (at MSc. or PhD. level) who<br>
intend to study or work with Domain Specific Modeling. The purpose is<br>
to learn principles and practices in a friendly and convivial<br>
environment. The lecturers are a mixed set of experienced<br>
professionals in the topic from both academic and industrial background.<br>
<br>
The event will happen during 5 days. The first two days of this Summer School
are structured in several<br>
introductory classes to theoretical topics of DSMs and hands-on<br>
tutorials where techniques and tools will be explained and used. There<br>
will be a common Case Study to all the lectures and tutorials in order<br>
to have a continuous guideline among them, instead of isolated<br>
thematic talks. The fourth and fifth days will be dedicated to give<br>
an overall picture both from both the academic and industrial point of<br>
view of the most recent advances in the field highlighting the current<br>
research as well as discussing challenges and open issues.<br>
<br>
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:<br>
<br>
- Software Modelling and Verification - SMV group from the University of Geneva,
Switzerland<br>
- Modeling, Simulation and Design Lab - MSDL from the University of Antwerp,
Belgium and - - McGill University, Montreal Canada<br>
- University of Alabama, USA<br>
- CITI / FCT - Universidade Nova de Lisboa, Portugal<br>
- GSI (Grupo de Sistemas de Informação, Information Systems Group) INESC-ID/IST<br>
<br>
* The major topics approached during the school: *</span></p>
<p class="" style="margin-bottom:12pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"">(non exhaustive list)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"">Model-Driven Development<br>
Domain Specific Modeling and Languages<br>
Domain Language Engineering Process<br>
Languages Metamodeling<br>
Model Transformations<br>
Formalisms for Language Semantics<br>
Model Checking and Theorem Provers<br>
Model-Based Testing<br>
Domain Specific Language Evaluation<br>
Model Composition and Metamodel Composition<br>
<br>
* Tools used during the hands-on tutorials *<br>
<br>
DSLs, Language Metamodeling: AtomPM, Epsilon tools, GMF/GMF, Eugenia <br>
Model Transformations: DSLTrans, T-Core, EGL, ETL<br>
Model Verification: ALPINA, FORMULA<br>
<br>
* Program Committee *</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"" lang="PT">(more confirmed
soon)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"" lang="PT">- Maurício
Alférez, INRIA (France)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"" lang="PT">- Vasco Amaral,
CITI FCT, Universidade Nova de Lisboa (Portugal)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"" lang="PT">- João Araújo,
CITI, FCT, Universidade Nova de Lisboa (Portugal)<br>
- Paulo Carreira, INESC-ID IST UTL (Portugal)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"">- Didier Buchs, University of Geneva
(Switzerland)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"" lang="PT">- Miguel
Goulão, CITI, Universidade Nova de Lisboa (Portugal)<br>
- Ethan Jackson, Microsoft Research (USA)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"" lang="PT">- Ana Moreira,
CITI, FCT, Universidade Nova de Lisboa (Portugal)<br>
- Bernhard Schätz , Fortiss, (Germany)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif"">- Eugene Syriani, University of
Alabama, (USA)<br>
- Hans Vangheluwe , MSDL, Antwerp University, (Belgium) and McGill University,
Montreal (Canada)</span></p>
<p class="" style="margin-bottom:0.0001pt;line-height:normal"><span style="font-size:12pt;font-family:"Times New Roman","serif""><br>
* V e n u e *<br>
<br>
Will take place at CiTIUS, University of Santiago de Compostela, Spain. <br>
<br>
* R e g i s t r a t i o n *<br>
<br>
The registration is open to everybody, with a limited number of places
available. For more details please<br>
consult the website and send your intent to submit to <a href="mailto:vma@fct.unl.pt" target="_blank"><span style="color:blue">vma@fct.unl.pt</span></a><br>
using the subject:"DSM-TP: Registration intention"<br>
<br>
*Credits*<br>
<br>
A certificate of attendance will be provided (participation in all<br>
sessions is required). Evaluation is not mandatory. However, upon<br>
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.</span></p>
</div>