DSM-TP: 4th International Summer School on Domain Specific Modeling - Theory and Practice

------------------------------------------
DSM-TP


4th International Summer School on
Domain Specific Modeling - Theory and Practice

Lisbon, 2-6 September 2013

http://www.dsm-tp.org

------------------------------------------


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

Registration opening:              1 June, 2013
Early registration deadline:      15th July, 2013

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 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.

The event will happen during 5 days. 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 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.

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 University of
Antwerp, Belgium and - - McGill University, Montreal Canada
- 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 major topics approached during the school: *

(non exhaustive list)

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

* Program Committee *

(more confirmed soon)

- 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)
- Paulo Carreira, INESC-ID IST UTL (Portugal)

- Didier Buchs, University of Geneva (Switzerland)

- 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)


*  V e n u e *

Will take place at CiTIUS, University of Santiago de Compostela, Spain.

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

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 [email protected]
using the subject:"DSM-TP: Registration intention"

*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.

__________________________________________________
Announce mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/announce_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki