Textual Modeling Framework
Jan Koehnlein - Sven Efftinge
itemis
Wednesday, March 25, 2009

Domain-Specific Language (DSL)
Wednesday, March 25, 2009

Domain-Specific Language (DSL)
A DSL is a formal, processable language
targeting at a specific viewpoint or
aspect of a software system.
Wednesday, March 25, 2009

Domain-Specific Language (DSL)
A DSL is a formal, processable language
targeting at a specific viewpoint or
aspect of a software system.
It’s semantics, flexibility and notation is
designed in order to support working
with that viewpoint as good as possible.
Wednesday, March 25, 2009

Why DSLs?
• higher abstractions
• avoid redundancy
• separation of concerns
• use domain concepts
(Ubiquitous Language)
Wednesday, March 25, 2009

The challenge
Wednesday, March 25, 2009

Complicated
Wednesday, March 25, 2009

Complicated & Expensive ?
Wednesday, March 25, 2009

licensed by http://www.wordle.net/
Wednesday, March 25, 2009

How we address this with
Wednesday, March 25, 2009

Convenience
Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
generate myDsl \"http://www.xtext.org/example/MyDsl\"
Model:
(types+=Type)*;
Type:
Datatype | Entity;
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
generate myDsl \"http://www.xtext.org/example/MyDsl\"
Model:
(types+=Type)*;
Type:
Datatype | Entity;
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
generate myDsl \"http://www.xtext.org/example/MyDsl\"
Model:
(types+=Type)*;
Type:
Datatype | Entity;
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Model:
(types+=Type)*;
Type:
Datatype | Entity;
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Model:
Parser (types+=Type)*;
Rules Type:
Datatype | Entity;
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Containment
Reference
Model:
Parser (types+=Type)*;
Rules Type:
Datatype | Entity;
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Containment
Reference
Model:
Parser (types+=Type)*;
Cardinality
Rules Type:
Datatype | Entity;
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Containment
Reference
Model:
Parser (types+=Type)*;
Cardinality
Rules Type:
Datatype | Entity;
Alternatives
Datatype:
'datatype' name=ID;
Entity:
'entity' name=ID '{'
(features+=Feature)*
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Containment
Reference
Model:
Parser (types+=Type)*;
Cardinality
Rules Type:
Datatype | Entity;
Alternatives
Datatype:
'datatype' name=ID;
Call to
Entity:
Terminal
'entity' name=ID '{'
(features+=Feature)*
Rule
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Containment
Reference
Model:
Parser (types+=Type)*;
Cardinality
Rules Type:
Datatype | Entity;
Alternatives
Datatype:
'datatype' name=ID;
Call to
Entity:
Keywords Terminal
'entity' name=ID '{'
(features+=Feature)*
Rule
'}';
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Grammar Definition Terminal Rule Import
grammar org.xtext.example.MyDsl
Derived with org.eclipse.xtext.common.Terminals
Metamodel generate myDsl \"http://www.xtext.org/example/MyDsl\"
Containment
Reference
Model:
Parser (types+=Type)*;
Cardinality
Rules Type:
Datatype | Entity;
Alternatives
Datatype:
'datatype' name=ID;
Call to
Entity:
Keywords Terminal
'entity' name=ID '{'
(features+=Feature)*
Cross Rule
'}';
Reference
Feature:
type=[Type] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

Metamodel Derivation
MyDsl
grammar org.xtext.example.MyDsl
with org.eclipse.xtext.common.Terminals
Model
generate myDsl
\"http://www.xtext.org/example/MyDsl\"
Model: *
Type
(types+=Type)*;
name: String
Type:
Datatype | Entity;
Datatype: Datatype Entity
'datatype' name=ID;
Entity:
'entity' name=ID '{' type
(features+=Feature)* *
'}'; Feature
*
name: String
Feature:
type=[Datatype] name=ID;
Wednesday, March 25, 2009

licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Based on
the grammar and Ecore models,
Xtext provides you with sensible
default implementations.
licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Validation
Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Wednesday, March 25, 2009

Customizing the LabelProvider
public class MySpecialLabelProvider
extends DefaultLabelProvider {
public String label(Feature f) {
return f.getName()+\":\"+f.getType().getName();
}
}
‣Naming Convention
‣Polymorphic Dispatch
‣Fault tolerance
Wednesday, March 25, 2009

Flexibility
Wednesday, March 25, 2009

licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Dependency management
licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Dependency management
licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Dependency management
licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Dependency management
licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Dependency management
licensed by http://www.wordle.net/
Wednesday, March 25, 2009

MyCustomLabelProvider
licensed by http://www.wordle.net/
Wednesday, March 25, 2009

Dependency Injection
with Google fGuice
Wednesday, March 25, 2009

Dependency Injection
with Google fGuice
Wednesday, March 25, 2009

Dependency Injection
with Google fGuice
‣No dependency to concrete implementation
Wednesday, March 25, 2009

Dependency Injection
with Google fGuice
‣No dependency to concrete implementation
‣No explicit construction
Wednesday, March 25, 2009

Dependency Injection
with Google fGuice
‣No dependency to concrete implementation
‣No explicit construction
‣Easy testing
Wednesday, March 25, 2009

Dependency Injection
with Google fGuice
‣No dependency to concrete implementation
‣No explicit construction
‣Easy testing
‣Easy composition
Wednesday, March 25, 2009

Configuration of
Components in Xtext
AbstractDeclarativeModule
DefaultRuntimeModule DefaultUIModule
From Xtext
Your Project
GeneratedRuntimeModule GeneratedUIModule
RuntimeModule UIModule
Wednesday, March 25, 2009

Configuration of
Components in Xtext
/**
* used to register components to be used within the IDE.
*/
public class DomainmodelUiModule
extends GeneratedDomainmodelUiModule {
@Override
public Class<? extends ILabelProvider> bindILabelProvider() {
return MySpecialLabelProvider.class;
}
}
Wednesday, March 25, 2009

and Equinox
Injector is created during Bundle.start(...)
@Override
public void start(BundleContext context) throws Exception {
super.start(context);
INSTANCE = this;
injector = Guice.createInjector(
new DomainmodelRuntimeModule(),
new DomainmodelUiModule());
}
Wednesday, March 25, 2009

and Equinox
ExecutableExtensions are created via
IExecutableExtensionFactory
<extension
point=\"org.eclipse.emf.ecore.extension_parser\">
<parser class=\"my.pack.DomainmodelExecutableExtensionFactory:
org.eclipse.xtext.resource.XtextResourceFactory\"
type=\"dmodel\">
</parser>
</extension>
Wednesday, March 25, 2009

Composable
Code Generator
‣ generator is composed of “fragments”
Wednesday, March 25, 2009

Composable
Code Generator
‣ generator is composed of “fragments”
‣ fragments can contribute to:
Wednesday, March 25, 2009

Composable
Code Generator
‣ generator is composed of “fragments”
‣ fragments can contribute to:
‣ Manifest.MF
Wednesday, March 25, 2009

Composable
Code Generator
‣ generator is composed of “fragments”
‣ fragments can contribute to:
‣ Manifest.MF
‣ plugin.xml
Wednesday, March 25, 2009

Composable
Code Generator
‣ generator is composed of “fragments”
‣ fragments can contribute to:
‣ Manifest.MF
‣ plugin.xml
‣ Guice modules
Wednesday, March 25, 2009

Composable
Code Generator
‣ generator is composed of “fragments”
‣ fragments can contribute to:
‣ Manifest.MF
‣ plugin.xml
‣ Guice modules
‣ Add your own fragments
Wednesday, March 25, 2009

Future Plans
Wednesday, March 25, 2009

Galileo
Wednesday, March 25, 2009

Galileo
• Index
Wednesday, March 25, 2009

Galileo
• Index
• Enum Rules
Wednesday, March 25, 2009

Galileo
• Index
• Enum Rules
• Bug fixing / Performance Tuning
Wednesday, March 25, 2009

Galileo
• Index
• Enum Rules
• Bug fixing / Performance Tuning
• Documentation
Wednesday, March 25, 2009

Galileo
• Index
• Enum Rules
• Bug fixing / Performance Tuning
• Documentation
• Sugar (Wizards, Tutorials, etc.)
Wednesday, March 25, 2009

Post Galileo
Wednesday, March 25, 2009

Post Galileo
‣ More UI features
Wednesday, March 25, 2009

Post Galileo
‣ More UI features
‣Basic Language Libraries
Wednesday, March 25, 2009

Post Galileo
‣ More UI features
‣Basic Language Libraries
‣“Eat your own dog food”
continued
Wednesday, March 25, 2009

Thank you very much for listening
Visit the project’s web site :
www.xtext.org
Copyright 2009 by itemis
Wednesday, March 25, 2009

Convenient & Flexible
Wednesday, March 25, 2009