DSM-TP<br>
<br>
3rd International <span class="il">Summer</span> <span class="il">School</span> on<br>
Domain Specific Modeling - Theory and Practice<br>
<br>
Lisbon, 10-14 September 2012<br>
<br>
<a href="http://www.dsm-tp.org" target="_blank">http://www.dsm-tp.org</a><br>
<br>
------------------------------<div>------------<br>
<br>
* I m p o r t a n t   d a t e s *<br>
<br>
Registration opening:              1 July, 2012<br>
Early registration deadline:      31th August, 2012<br>
<br>
<span class="il">School</span> dates:<br>
from the 10th--11th September Introductory Course<br>
from the 12th--14th September Advanced Course<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 3rd International <span class="il">Summer</span> <span class="il">School</span> 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 first two days of this <span class="il">Summer</span> <span class="il">School</span> 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 given<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 jointly co-organized by the research center CITI (from<br>
Departamento de Informática at the<br>
Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa) and<br>
Ordem dos Engenheiros - Região Sul in<br>
cooperation with the following groups:<br>
<br>
Software Modelling and Verification - SMV group from the University of<br>
Geneva, Switzerland<br>
Modeling, Simulation and Design Lab - MSDL from the University of<br>
Antwerp, Belgium and McGill University, Montreal Canada<br>
Software Engineering Group FEUP / Inesc-Porto<br>
GSI (Grupo de Sistemas de Informação, Information Systems Group) INESC-ID/IST<br>
<br>
<br>
* The major topics approached during the <span class="il">school</span>: *<br>
<br>
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>
MDD Education<br>
<br>
* Tools used during the hands-on tutorials *<br>
<br>
DSLs, Language MetaModeling: GMF/GMF and Eugenia for Eclipse, Xtext, EMFText<br>
Model Transformations: DSLTrans, ATL, Xpand<br>
Model Checking: ALPINA<br>
<br>
* Program Committee *<br>
<br>
-Alberto Silva, INESC-ID, Instituto Superior Tecnico  (Portugal)<br>
-Ana Paiva, FEUP, Faculdade de Engenharia da Universidade do Porto, (Portugal)<br>
-Didier Buchs, University of Geneva (Switzerland)<br>
-Ethan Jackson, Microsoft Research (USA)<br>
-Hans Vangheluwe , MSDL, Antwerp University, (Belgium) and McGill<br>
University, Montreal (Canada)<br>
-João Araújo, CITI, FCT, Universidade Nova de Lisboa (Portugal)<br>
-João Pascoal Faria, Faculdade de Engenharia da Universidade do Porto,<br>
Inesc-Porto, (Portugal)<br>
-Luís Pedro, D&#39;Aauriol Asset Management S.A. (Switzerland)<br>
-Matteo Risoldi, University of Geneva (Switzerland)<br>
-Miguel Goulão, CITI, Universidade Nova de Lisboa (Portugal)<br>
-Vasco Amaral (organizer), CITI FCT, Universidade Nova de Lisboa (Portugal)<br>
<br>
*  V e n u e *<br>
<br>
Will take place at Ordem dos Engenheiros headquarters (Engineers<br>
Association), in Lisbon city center, Portugal.<br>
<br>
<br>
* R e g i s t r a t i o n *<br>
<br>
The registration is open to everybody, with lower prices for students,<br>
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">vma@fct.unl.pt</a><br>
using the subject:&quot;DSM-TP: Registration intention&quot;<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 credits 3 ECTS.</div>