Seventh European Conference on Modelling Foundations
and Applications
ECMFA 2011, TUTORIALS
06-07 June, 2011,
Birmingham, UK
List of Tutorials
T1 - Agile
Development with domain Specific Languages
[ More]
T2
- Incremental Evaluation of Model Queries over EMF Models: ATutorial
on EMF-IncQuery
[More]
T3
-
Integrated Model Management with Epsilon
[More]
T4 - Creating Domain-Specific Modelling Languages that work:
Hands-on
[More]
TUTORIAL 01
Agile Development with Domain Specific
Languages
June 6, 2011
(One Day)
Bernhard Rumpe and Ingo Weisemoeller, Software Engineering
RWTH Aachen, Germany
In an increasing number of software development processes, domain specific languages (DSLs) are involved at some stage. Such languages allow domain experts to take part in the product development, and they can often contribute to improved efficiency. As a drawback, the development of a DSL is a complex and error-prone software development process itself, which causes additional efforts and costs. Moreover, the actual software product and the DSL are often developed concurrently, and the requirements for the DSL may change according to the needs of developers of the actual product. Therefore, we have to address two interdependent development processes: the product development process, in which we may need to react on requirement changes by the customer quickly, and the language development process, in which we want to define an adaptable and extensible DSL.
In this tutorial, we use models to generate executable code, test cases or other models in their respective languages. To address the growing number and complexity of DSLs, we introduce concepts for the modular and compositional development of languages and their tools. Our tutorial provides an understanding of how to combine agile methods, well-known object-oriented concepts and model-based techniques, and thus contributes to more efficient development of high-quality software products.
Website of the Tutorial
Go to [TOP]
TUTORIAL 02
Incremental Evaluation of Model Queries over EMF Models: a Tutorial
on EMF-IncQuery
June 6, 2011
(Half Day)
Gábor Bergmann, Ákos Horváth, István Ráth, and Dániel
Varró
Budapest University of
Technology and Economics
This tutorial introduces a declarative model query framework over EMF
called EMF-IncQuery, that uses the graph pattern formalism (from the
theory of graph transformations) as its query language and relies on
incremental pattern matching for improved performance. The advantage of
its declarative query specification is that it requires much less
time-consuming, manual coding effort than ad-hoc model traversal , while
the incremental pattern matching engine ensures that matches of a
pattern are explicitly stored and incrementally maintained so that they
remain available for immediate retrieval.
This technique provides significant speed-up in many scenarios (at the
cost of increased memory consumption), including model validation
(immediate feedback for complex structural well-formedness constraints),
model transformations, and simulation of dynamic domain-specific models.
In this half-day tutorial, we give an overview of the EMF-IncQuery
system, demonstrating how this novel technology can be applied, and
discuss gains and trade-offs, illustrated using a simple modeling
example.
Our target audience includes experts already working with EMF based
query or model transformation technologies and programmers/educators who
wish to learn about a new EMF based query technology. The tutorial will
build on a basic understanding of EMF and will focus on a software
engineer's viewpoint on using our framework.
TUTORIAL 03
Integrated Model Management with Epsilon
June 7, 2011
(One Day)
Dimitrios S. Kolovos, Richard F. Paige,Louis M. Rose, and James Williams Department of Computer Science, University of York In this tutorial we will briefly discuss the basic concepts of MDE provide an overview of core Eclipse modelling technologies such as EMF and GMF. Then we will present the model management languages provided by the Epsilon GMT component (http://www.eclipse.org/gmt/epsilon), which provide comprehensive support for core MDE tasks such as model transformation, validation, comparison, refactoring, merging, migration and code generation. We will also present the workflow mechanism that allows developers to assemble complex MDE tool chains, EuGENia, a tool that automates the process of constructing GMF-based editors, EUnit, a JUnit-like testing framework we have developed recently, and the Epsilon Model Connectivity framework that enables developers to extend Epsilon with support for additional modelling technologies.
Go to [TOP]
Juha-Pekka Tolvanen
METACASE, Finland
A horrible lie exists in our industry today: it says that defining a graphical DSL is difficult and time intensive. In this tutorial, we will lay bare this fallacy and demonstrate how simple and quick it is to create domain-specific modelling languages and their generators. Through a hands-on approach, we define a modelling language and related generators in a few hours. More than just a technical exercise, we will show how this reflects industry experiences in various domains, including telecom, consumer electronics and home automation.
Participants will learn hands-on the practical, repeatable steps to design and implement DSLs. We will focus on modelling languages that enable true model-driven engineering, in which working code is generated from models:
• The language is based on the concepts of the problem domain, not the solution domain
• The scope of the language is narrowed down to a particular domain
• The language minimizes the effort needed to create, update and check the models
• The language supports communication with users and customers
At the end of the tutorial participants will have implemented several versions of the language - each time raising the level of abstraction.
The Tutorial Chair can be contacted at
r.bahsoon@cs.bham.ac.uk
Website of the Tutorial
Go to [TOP]