[ecoop-info] DSM-TP 3rd International Summer School on Domain Specific Modeling - Theory and Practice

Joao Araujo ja at di.fct.unl.pt
Thu Aug 2 19:33:29 CEST 2012


3rd International Summer School on
Domain Specific Modeling - Theory and Practice

Lisbon, 10-14 September 2012



* I m p o r t a n t   d a t e s *

Registration opening:              1 July, 2012
Early registration deadline:      31th August, 2012

School dates:
from the 10th--11th September Introductory Course
from the 12th--14th September Advanced Course

KeyWords: Domain Specific Languages, Model-Driven Development, Model
Transformations, Model Transformations, Model Checking, Model-Based
Testing, Validation, Verification

* T h e   S c h o o l *

In the last decade, industry and academy have been looking at Model
Driven Development (MDD) as an interesting approach to fight
accidental 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.

On the one hand the industry lately has been reporting numerous
examples where the use of MDD and the design of dedicated formalisms
(Domain Specific Languages) for Model specification are success cases,
especially in Software Product Lines. There is a wide range of
application Domains: Interactive Systems, Real-Time Systems, Web 2.0
design, Business Architecture, Games, Industrial Automation, Hardware
and Software Co-design, Mechatronics, Business Modeling, Requirements
Engineering, or even Process Design. On the other hand, academy has
been investing 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.

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 MDD. The community acknowledges the lack of
forums to educate and present MDD in a comprehensive way.

>From the above said, the 3rd 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.

The first two days of this Summer School are structured in several
introductory classes to theoretical topics of DSMs and 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. The fourth and fifth days will be dedicated to given
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.

DSM-TP is jointly co-organized by the research center CITI (from
Departamento de Informática at the
Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa) and
Ordem dos Engenheiros - Região Sul in
cooperation with the following groups:

Software Modelling and Verification - SMV group from the University of
Geneva, Switzerland
Modeling, Simulation and Design Lab - MSDL from the University of
Antwerp, Belgium and McGill University, Montreal Canada
Software Engineering Group FEUP / Inesc-Porto
GSI (Grupo de Sistemas de Informação, Information Systems Group)

* The major topics approached during the school: *

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
MDD Education

* Tools used during the hands-on tutorials *

DSLs, Language MetaModeling: GMF/GMF and Eugenia for Eclipse, Xtext, EMFText
Model Transformations: DSLTrans, ATL, Xpand
Model Checking: ALPINA

* Program Committee *

-Alberto Silva, INESC-ID, Instituto Superior Tecnico  (Portugal)
-Ana Paiva, FEUP, Faculdade de Engenharia da Universidade do Porto,
-Didier Buchs, University of Geneva (Switzerland)
-Ethan Jackson, Microsoft Research (USA)
-Hans Vangheluwe , MSDL, Antwerp University, (Belgium) and McGill
University, Montreal (Canada)
-João Araújo, CITI, FCT, Universidade Nova de Lisboa (Portugal)
-João Pascoal Faria, Faculdade de Engenharia da Universidade do Porto,
Inesc-Porto, (Portugal)
-Luís Pedro, D'Aauriol Asset Management S.A. (Switzerland)
-Matteo Risoldi, University of Geneva (Switzerland)
-Miguel Goulão, CITI, Universidade Nova de Lisboa (Portugal)
-Vasco Amaral (organizer), CITI FCT, Universidade Nova de Lisboa (Portugal)

*  V e n u e *

Will take place at Ordem dos Engenheiros headquarters (Engineers
Association), in Lisbon city center, Portugal.

* R e g i s t r a t i o n *

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


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 credits 3 ECTS.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120802/d4c527a6/attachment.html 

More information about the ecoop-info mailing list