<div dir="ltr">--------------------------------------------------------------------<br><div id=":2ac" class="">
<br>
<span class="">DSM</span>-<span class="">TP</span><br>
<br>
The Fifth International Summer School on<br>
<br>
Domain Specific Modelling - Theory and Practice<br>
<br>
Antwerp, Belgium, 25 - 29 August 2014<br>
<br>
<a href="http://www.dsm-tp.org" target="_blank">http://www.<span class="">dsm</span>-<span class="">tp</span>.org</a><br>
<br>
--------------------------------------------------------------------<br>
<br>
<br>* I m p o r t a n t   d a t e s  *<br>
<br>
Early registration and payment deadline: 31 July 2014<br>
<br>
Late registration: from 1 August 2014<br>
<br>* K e y w o r d s *<br>
<br>
Domain-Specific Languages, Modelling Language Engineering,<br>
Requirements Modelling Languages, Visual Modelling Languages, 
Model-Driven Development, Variability, Product Lines, Model 
Transformations, Multi-view modelling, Model Querying, Model Checking, 
Validation, Simulation,<br>
Verification, Quality of Modelling Languages, Industrial Uses of Domain-Specific Modelling and Model-Based Systems Engineering.<br>
<br> 
* T h e  T o p i c  *<br>
<br>
Over the last decades, the complexity of systems we study and design<br>
(such as Cyber-Physical Systems) has grown exponentially. To manage this complexity, industry and academia<br>
now explicitly model different aspects of the structure and behaviour<br>
of systems, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s).<br>
<br>
Dedicated modelling formalisms, also known as Domain Specific Languages 
are used increasingly to maximally constrain the modeller to the problem
 at hand, reducing the cognitive gap and enabling optimal, domain 
specific, model manipulations such as application synthesis.<br>
In particular for product families, using generative (transformation)<br>
techniques, numerous success stories are reported in industry.<br>
<br>
Model Based Systems Engineering in general, and Domain Specific Modeling<br>
in particular have proven useful in a wide range of application domains:
 Interactive Systems, Real-Time Systems, Web 2.0 design, Business 
Architecture, Modern Computer Games, Industrial Automation, Hardware and
 Software Co-design, Mechatronics, Business Process Modeling, 
Requirements Engineering, and Process Design, etc.<br>
<br>
Hand in hand with these industrial successes, academia have been 
developing foundations, systematic approaches, techniques, tools,<br>
frameworks and processes to turn Model Based Systems Engineering<br>
into a true engineering discipline. This builds on existing work<br>
in language semantics, simulation, model checking, and model-based testing.<br>
<br>
Given the plethora of scattered developments (theories, techniques<br>
and tools) in this exciting field, practitioners as well as students 
lack an integrated vision of the model based systems engineering domain.<br>
<br>* T h e  S u m m e r   S c h o o l *<br>
<br>
It is exactly the integrated vision on the problems addressed and 
solutions offered by Domain Specific Modelling (and Modelling Language 
Engineering) that this Summer School aims to provide.<br>
<br>
This fifth International Summer School on Domain Specific Modeling - 
Theory and Practice is aimed at researchers, teachers, practitioners, 
and students (typically PhD. level)<br>
who intend to study or work with Domain Specific Modeling. The purpose is<br>
to learn about foundations as well as best practices in a friendly and 
stimulating environment. There will be ample opportunities to discuss 
with other<br>
participants and with the lecturers. These lecturers are experienced and active professionals,<br>
leaders in their field, whose academic and industrial background covers the broad range of topics of the School.<br>
<br>
<span class="">DSM</span>-<span class="">TP</span> 2014 is hosted by
 the Modelling, Simulation and Design Lab (MSDL) at the University of 
Antwerp, Belgium. The Summer School is organized in close collaboration 
with NOVA-LINCS FCT of the Universidade Nova de Lisboa, Portugal<br>
who organized the previous four editions of this Summer School.<br>
<br>
The event will take place during five days.<br>
During the first four days, morning lectures will introduce theoretical/foundational topics.<br>
Each afternoon will features tutorials where techniques and tools will 
be explained hands-on. A common Case Study will be used across all the 
tutorials to make the coherence between the different topics (language 
design, model transformation, semantics, model checking, ...) clear.<br>
During the last day of the School, both the academic and industrial point of<br>
view on the most recent advances in the field will be presented.<br>
This will highlight current research as well as discuss challenges and open issues<br>
(with many hints for future PhD topics).<br><br>The main topics covered during the school are:<br>

<br>
Causes of Complexity<br>
<br>
The need for Domain Specific Modelling and Languages<br>
<br>
Domain Engineering, Variability, Product Families<br>
<br>
Modelling Language Engineering<br>
<br>
Visual Modelling Languages<br>
<br>
Model Transformation<br>
<br>
Querying, Multi-view modelling, trace-ability<br>
<br>
Specifying Modelling Language Semantics, common Semantic Domains<br>
<br>
Specifying and Checking (Domain-Specific) Model Properties<br>
<br>
Evaluating the Quality of Domain Specific Languages<br>
<br>
(Meta-)Model Composition<br>
<br>
Industrial Uses of Domain-Specific Modelling and Model-Based Systems Engineering<br> 
<br> variety of tools will be used during the hands-on tutorials:<br><br>
Language Design: metaDepth, Clafer, AToMPM, IncQuery, ...<br>
<br>
Model Transformations: AToMPM/MoTif, ATL, Epsilon tools such as EGL, ...<br>
<br>
<br> 
*L e c t u r e r s*<br>
<br>
- Prof. Vasco Amaral, NOVA-LINCS FCT, Universidade Nova de Lisboa (Portugal)<br>
<br>
- Dr. Michał Antkiewicz, Electrical and Computer Engineering Department, University of Waterloo (Canada)<br>
<br>
- Prof. Didier Buchs, University of Geneva (Switzerland)<br>
<br>
- Prof. Miguel Goulão, NOVA-LINCS, Universidade Nova de Lisboa (Portugal)<br>
<br>
- Prof. Thomas Kuehne, Victoria University of Wellington (New Zealand)<br>
<br>
- Prof. Hans Vangheluwe, MSDL, University of Antwerp (Belgium) and McGill University, Montréal (Canada)<br>
<br>
- Dr. Bernhard Schätz, Fortiss (Germany)<br>
<br>
- Prof. Eugene Syriani, Université de Montréal, (Canada)<br>
<br>
- Engr. Gareth Thomas, The MathWorks (USA/The Netherlands)<br>
<br>
- Prof. Dániel Varró, Budapest University of Technology and Economics (Hungary)<br>
<br>
* V e n u e *<br>
<br>
The University of Antwerp in the vibrant harbour city of Antwerp, Belgium.<br>
As befits a Belgian city, chocolates, beer, and fries are abundantl available.<br>
<br>
* R e g i s t r a t i o n *<br>
<br>
The registration is open to everyone with a Computer Science/Engineering background.<br>
Due to the intense nature of the hands-on sessions, only a limited number of places are available.<br>
<br>
For more details please:<br>
<br>
- consult the website <a href="http://dsm-tp.org" target="_blank">http://<span class="">dsm</span>-<span class="">tp</span>.org</a> and pre-register using the online form<br>
<br>
- send any questions you may have to <a href="mailto:Bart.Meyers@uantwerpen.be" target="_blank">Bart.Meyers@uantwerpen.be</a><br>
<br>
with subject: &quot;<span class="">DSM</span>-<span class="">TP</span>: Information Request&quot;<br>
<br>
<br>
* P o s t e r  S e s s i o n *<br>
<br>
During the event, the participants will have the opportunity to present a<br>
poster to discuss their work, receive feedback and suggestions from the PC<br>
and peers.<br>
<br>
<br> * C e r t i f i c a t e  a n d  E C T S  C r e d i t s *<br>
<br>
A certificate of attendance will be provided (participation in all sessions<br>
is required). Upon request, students can be formally evaluated 
(including assignments to be submitted after the Summer School) and may 
earn the equivalent of 3 ECTS credits. These will need to be approved by<br>
your university (do contact your local Erasmus coordinator for information<br>
about the procedure to follow).</div><br clear="all"><br>-- <br><div dir="ltr">-- <br>------------------------------------------------<br>Assistant Professor. <br>                                             <br>Departamento de Informática                  <br>
Faculdade de Ciências e Tecnologia           <br>Universidade Nova de Lisboa                  <br>Quinta da Torre, 2829 -516 CAPARICA, PORTUGAL<br>Phone: +351 21 294 85 36 (ext. 10712)        <br>or Phone: +351 21 294 83 00 (ext. 10712)     <br>
Fax:  +351 21 2948541                <br>Homepage: <a href="https://sites.google.com/site/vascoamaral/" target="_blank">https://sites.google.com/site/vascoamaral/</a>          <br>------------------------------------------------
</div>
</div>