2. Agiles Modellieren mit
Domain Specific Languages -
Eine DSL für eine
generische WebApp - API
Dominik Hirt
efinia UG, Leipzig
20. IndustrieTag InformationsTechnologie IHK Halle-Dessau 20. November 2012

3. Agiles Modellieren mit
Domain Specific Languages -
Eine DSL‘s für eine
generische WebApp - API
Dominik Hirt
efinia UG, Leipzig
20. IndustrieTag InformationsTechnologie IHK Halle-Dessau 20. November 2012

4. Dominik Hirt

5. http://www.efinia.de

6. Personal Finance Management

12. Das Modellieren mit
Domain Specific Languages
vereinfacht den Entwicklungs-
prozess und erhöht die
Qualität unserer Software.

13. ^[A-Z0-9._%-]+@(?:[A-Z0-9-]+.)+[A-Z]{2,4}$

14. ^[A-Z0-9._%-]+@(?:[A-Z0-9-]+.)+[A-Z]{2,4}$

15. SELECT COUNT(*)
FROM Account JOIN Customer
WHERE Account.CustID = Customer.ID
WHERE Customer.Name LIKE ‘D%’

16. SELECT COUNT(*)
FROM Account JOIN Customer
WHERE Account.CustID = Customer.ID
WHERE Customer.Name LIKE ‘D%’

17. 1.e2-e4 e7-e5
2.Lf1-c4 Sb8-c6
3.Dd1-f3 Lf8-c5
4.Df3xf7#

18. 1.e2-e4 e7-e5
2.Lf1-c4 Sb8-c6
3.Dd1-f3 Lf8-c5
4.Df3xf7#

19. Unified
Modeling
Language

20. Das Problem
Browser Desktop Mobile Tablet
API
Server / Plattform

21. Die Ursachen
Redundanz Abstraktion Wiederverwendung

22. Mythos Wiederverwendbarkeit
‣ Klassen
‣ Services
‣ Komponenten
‣ Modelle
‣ Prozesse

23. Model Driven Software Development
Domäne Modell MetaModell

24. Ein [...] Metamodell stellt die Elemente
einer Modellierungssprache und ihre
Beziehungen in einem Modell dar.
[Wikipedia]

25. grammar de.efinia.webapp.WebAPI with org.eclipse.xtext.xbase.Xbase
generate webAPI "http://www.efinia.de/webapp/WebAPI"
WebAPIModel:
functions += Function*
;
Function:
'function' name = ID '{'
request=Request
response=Response
'}'
;
Request:
'request' '{'
'url : ' url=URLType
('method :' method=HttpRequestMethod)?
params+=Parameter*
'}'
;
URLType:
'/'ID
;
enum HttpRequestMethod:
GET='GET' | POST='POST'
;

26. function createAccount {
request {
url : "/konto"
method : PUT
param name String
param kontoNummer String 1..10
param blz String 8
}
response {
param accountId long 1..8
}
}
function updateAccount {
request {
url : "/konto/{accountId}"
method : POST
param name String
}
response {
param accountId long 1..8
}
}
function deleteAccount {
request {
url : "/konto"
method : DELETE
param id long
}
response {
param success long 1..8
error deleteAccountError
}
}
error deleteAccountError "Konto löschen fehlgeschlagen"

27. function createAccount {
request {
url : "/konto"
method : PUT RESTful Architektur
param name String
param kontoNummer String 1..10
param blz String 8
}
response {
param accountId long 1..8
}
}
function updateAccount {
request {
url : "/konto/{accountId}"
method : POST RESTful Architektur
param name String
}
response {
param accountId long 1..8
}
}
function deleteAccount {
request {
url : "/konto"
method : DELETE RESTful Architektur
param id long
}
response {
param success long 1..8
error deleteAccountError
}
}
error deleteAccountError "Konto löschen fehlgeschlagen"

28. grammar de.efinia.dsl.MessagesDsl with org.eclipse.xtext.common.Terminals
generate messagesDsl "http://www.efinia.de/dsl/MessagesDsl"
Messages:
(allMessages += Message)*
;
Message:
'message' name = JavaIdentifier
'{'
(languages += Language)*
'}'
;
JavaIdentifier :
ID ('.' ID)*;
Language:
name = ID ':' value = STRING
;

29. Vorher Nachher
<?xml version="1.0" encoding="UTF-8"?> message impressum.pageTitle {
<messages xmlns:xsi="http://www.w3.org/ de : "efinia | Impressum"
2001/XMLSchema-instance" }
message impressum.title {
xsi:noNamespaceSchemaLocation="efiniaMe de : "Impressum"
ssages.xsd"> }
message login.pageTitle {
<message key="impressum.pageTitle"> de : "efinia | Login"
<de>efinia | Impressum</de> }
</message> message login.title {
<message key="impressum.title"> de : "Willkommen bei efinia"
<de>Impressum</de> }
</message>
<message key="login.pageTitle">
<de>efinia | Login</de>
</message>
<message key="login.title">
<de>Willkommen bei efinia</de>
</message>

30. Vorher Nachher
<?xml version="1.0" encoding="UTF-8"?> message impressum.pageTitle {
<messages xmlns:xsi="http://www.w3.org/ de : "efinia | Impressum"
2001/XMLSchema-instance" }
message impressum.title {
xsi:noNamespaceSchemaLocation="efiniaMe de : "Impressum"
ssages.xsd"> }
message login.pageTitle {
<message key="impressum.pageTitle"> de : "efinia | Login"
<de>efinia | Impressum</de> }
</message> message login.title {
<message key="impressum.title"> de : "Willkommen bei efinia"
<de>Impressum</de> }
</message>
<message key="login.pageTitle">
<de>efinia | Login</de>
</message>
<message key="login.title">
<de>Willkommen bei efinia</de>
</message>
60%

31. grammar de.efinia.categories.Categories with org.eclipse.xtext.common.Terminals
generate categories "http://www.efinia.de/Categories"
CategoryModel:
elements += AbstractElement*
;
AbstractElement:
Category | Keyword
;
Category:
'category' name = STRING ('-->' parent=[Category|STRING])?
;
Keyword:
'keyword' name = STRING '-->' category=[Category|STRING]
;

32. // Hauptkategorien
category "Haus/Wohnung"
category "PKW"
category "Ernährung"
// Unterkategorien
category "Telefon" --> "Haus/Wohnung"
category "Miete" --> "Haus/Wohnung"
category "Strom" --> "Haus/Wohnung"
category "Wasser" --> "Haus/Wohnung"
category "Benzin" --> "PKW"
category "Versicherung" --> "PKW"
category "Steuern" --> "PKW"
// Zuweisung von Schlüsselwörtern
keyword "Telekom" --> "Telefon"
keyword "Vodafone" --> "Telefon"
keyword "O2" --> "Telefon"
keyword "ePlus" --> "Telefon"
keyword "Aldi" --> "Ernährung"
keyword "Netto" --> "Ernährung"
keyword "Edeka" --> "Ernährung"

33. Model Driven Software Development
MetaModell
lauffähige
Modell Generator Artefakte
Software
java
sql
html
Templates / js
Transformationsregeln

34. Redundanz
Single Source

35. MetaModell Modell
Test

36. <Demo>
powered by

37. ‣ Routine Implementierungen
‣ Boilerplate Code
‣ Java Bean Hölle

38. EFinTLModel:
useCases+=UseCase*
dialogs+=Dialog*
Top Secr
messages+=Message*
segments+=Segment*
datenElementGruppen+=DEG*;
UseCase:
et
'geschaeftsvorfall' name = ID '{'
dialogs+=[Dialog]*
'}';
Dialog:
'dialog' name = ID '{'
messages+=[Message]*
'}';
Message:
'nachricht' name = ID '{'
'type' ':' type=NachrichtenType
'sender' ':' sender=SenderType
'segments' '{'
segments += [Segment]
'}'
'}';
Segment:
'segment' kennung=ID name=ID '{'
datenElemente += (DE | DEGRef)*
//datenGruppenElemente += (DEGRef)*
'}';
DE:
'DE' name=ID ':' format=Format length=Length status=Quantity anzahl=INT restriktion=Constraint)?;
DEGRef:
'DEG' reference=[DEG] ':' status=Quantity anzahl=INT;
DEG:
'DEG' name = ID '{'
gruppenDatenElemente+=(DE)*
'}';
enum Format:
an="an" | num="num" | dig="dig" | id="id";
MINMAX_LENGTH:
min=INT '..' max=INT;
MAX_LENGTH:
('..')? max=INT;
EXACT_LENGTH:
len=INT;
enum Quantity:
M='Muss' | K='Kann';
QualifiedName:
ID ('.' ID)*;
enum HBCIVersion :
v201='201' | v210='210' | v220='220' | v300='300';
enum NachrichtenType :
K='Kundennachricht' | B='Banknachricht';
enum SenderType :
K='Kunde' | B='Bank';

39. blog.todo42.net

40. d.hirt@efinia.de