Domain-Specific Languages Language Workbenches

Transcription

1 Software Engineering with and Domain-Specific Languages Language Workbenches Peter Friese Itemis Markus Voelter Independent/itemis 1

2 Programming Languages C# Erlang C++ Python Ruby Java Groovy Fortran C Programming Languages are not expressive enough. C# Erlang C++ Python Ruby Java Groovy Fortran C 2

3 Programming Languages are not high-level enough. C# Erlang C++ Python Ruby Java Groovy Fortran C Programming Languages are not abstract enough. C# Erlang C++ Python Ruby Java Groovy Fortran C 3

4 Programming Languages are not domain-specific enough. C# Erlang C++ Python Ruby Java Groovy Fortran C Programming Languages are not enough. C# Erlang C++ Python Ruby Java Groovy Fortran C 4

5 Programming Languages Formats C# Erlang C++ Python Ruby Java json Groovy Fortran HTML yaml C CSS XML Programming Languages Formats Frameworks C# Erlang C++ Ruby Java json Python Django Groovy Fortran C JEE WPF JMS yaml CSS Rails lift HTML XML 5

6 Programming Languages Formats Frameworks are not enough. C# Erlang C++ Ruby Java json Python Django Groovy Fortran C JEE WPF JMS yaml CSS Rails lift HTML XML So? 6

7 Modeling Higher Level Domain Specific Concepts & Notations Code Generation Interpretation Solves the Problem! DSL 7

8 general purpose domain specific 8

9 tailor made effective++ specialized, limited used by experts together with other specialized tools But: 9

10 Different Worlds Programming Tools!= Modeling Tools Different Worlds Modeling Tool!= Modeling Tool 10

11 Different Worlds Mix Models and Programs Different Worlds Mix Models and Programs AST Navigation & Query 11

12 Different Worlds Mix Models and Programs AST Navigation & Query Integration of 3GL code Different Worlds Mix Models and Programs AST Navigation & Query Integration of 3GL code Code Constraints 12

13 Compare Domain Specific Notations and Abstractions Flexible! Limited! Frameworks Libraries (Fluent) APIs 13

14 Graphical Textual Forms Tables Flexible! Limited! Textual Trees Customize Generator or Interpreter Flexible! Limited! Reflection Meta Programs Open Compilers 14

15 Define custom Query or or Navigate Transform Flexible! Limited! AST APIs Static Analysis Regex Custom Validation or Error Checks Flexible! Limited! IDE plugins Static Analysis Open Compilers 15

16 Different Representations and Projections Flexible! Limited! Text is Text Code Folding Tree Views Visualizations Mixing and Composing Languages Flexible? Limited! Python-to-C-like Internal DSLs Embed-As-String Specific: LINQ 16

17 Scalable Usable IDE Support Brittle! Mature! Modeling Tools!? Debugging Refactoring Testing Brittle! Mature!? 17

18 Versioning Diff, Merge Branching Brittle! Mature! for some tools Gets some Jobs done. some people doubt that Gets the Job Done! everybody agrees 18

19 Why the difference? History? 19

20 Why the difference? It is time for 20

21 a Different Perspective Modeling Programming == == Programming Modeling 21

22 modeling == programming modeling == programming at different levels of abstraction from different viewpoints integrated! 22

23 modeling == programming with different degrees of domain-specificity with suitable notations with suitable expressiveness modeling == programming And always: precise and tool processable 23

24 Language Workbench (Martin Fowler) 24

25 Language Workbench (Martin Fowler) Freely define languages and integrate them Language Workbench (Martin Fowler)? use persistent abstract representation 25

26 Language Workbench (Martin Fowler) language ::= + schema + editors generators Language Workbench (Martin Fowler)? projectional editing 26

27 Language Workbench (Martin Fowler) persist incomplete or contradictory information Language Workbench (Martin Fowler) + powerful editing testing refactoring debugging groupware language definition implies IDE definition 27

28 Language Workbench (Martin Fowler) support for classical classical and+ modeling programming 28

29 Syntax primarily textual Syntax primarily textual with more symbols think: mathematics 29

30 Syntax primarily textual sometimes box&line style When a graphical notation is better, you can visualize. 30

31 Available Tooling Eclipse Xtext 31

32 Modeling as Programmig (Mostly) Textual Notations Concrete Syntax Storage (Fancy) ASCII Editors Read-Only Visualizations Custom Syntax Graphical Textual Symbolic++ 32

33 IDE Support Teamwork Debugging Custom Editors Complete Symbolic Integration Goto Def Find Refs Refactoring 33

34 Infrastructure Integration storage is text diff/merge with existing tools existing text tools work well! Language Composition Grammar composition with traditional parsers is tough! More advanced parsers currently resarch 34

35 Limited to Unicode how to handle non-character symbols Graphics!= Text two worlds separate editors per syntax/viewpoint models can still be ref integrated 35

36 36

37 Xtext: Specify Grammar 37

38 Xtext: Generated Editor Xtext: Generated Editor Code Completion 38

39 Xtext: Generated Editor Syntax Coloring Custom Keyword Coloring Xtext: Generated Editor Realtime Constraint Validation 39

40 Xtext: Generated Editor Customizable Outlines Xtext: Generated Editor Code Folding 40

41 Xtext: Generated Editor Goto Definition Find References Cross-File References Model as EMF 41

42 DEMO I Building DSLs with Eclipse Xtext 42

43 Available Tooling Jetbrains Meta Programming System Parser-based text to tree to text 43

44 Projectional tree to text-lookalike (editor) to other trees **+ to text Programming as Modeling (Mostly) Graphical Notations Abstract Syntax Storage Projecting Editors Different editable views for model 44

45 Programming as Modeling (Mostly) Graphical Any kind of Notations Abstract Syntax Storage Projecting Editors Different editable views for model Language Composition There s no parsing. Unique Language Element Identity. Unlimted language composition. 45

46 Flexible Notations Textual } like ASCII box & line mathematical Graphical Semi-Graphical treated the same can be mixed Automatic IDE Extension tool support is inherent for languages build with projectional tools language definition implies IDE definition 46

47 Multiple Notations for the same concepts e.g. in different contexts or for different tasks Tree Editing is different from editing text try to make it feel like text takes some getting used to but: for more flexible notations a more general editing paradigm is needed 47

48 Infrastructure Integration storage is not text diff/merge must be in tool existing text tools don t work Proprietary Tools no standards no interop 48

49 licensed under Apache 2.0 released in Q currently 1.1 RC1 49

50 Build new standalone DSLs Build new standalone DSLs Build DSLs that reuse parts of other languages 50

51 Build new standalone DSLs Build DSLs that reuse parts of other languages (MPS comes with BaseLanguage) extend base language Java++ Build new standalone DSLs Build DSLs that reuse parts of other languages (MPS comes with BaseLanguage) extend base language build DSLs that reuse parts of BaseLanguage Java++ 51

52 Language Extension Example Java + Extension Language Extension Example Old Java ReadWriteLock l = l.readlock().lock(); try { //code } finally { l.readlock().unlock(); } Java + Extension 52

53 Language Extension Example Old Java ReadWriteLock l = l.readlock().lock(); try { //code } finally { l.readlock().unlock(); } New Java + Extension ReadWriteLock l = lock (l) { //code } 53

54 Structure Editor Typesystem Generator Structure Editor Typesystem Generator 54

55 Structure Editor Typesystem Generator Structure Editor Typesystem Generator 55

56 Structure Editor Typesystem Generator Structure Editor Typesystem Generator 56

57 Structure Editor Typesystem Generator Structure Editor Typesystem Generator 57

58 Structure Editor Typesystem Generator Language Extension Example Result behaves like a native base language construct 58

59 Language Extension Example Result behaves like a native base language construct Language Extension Example Translated to regular Java code based on the generator package jaxdemo.sandbox.sandbox; import java.util.concurrent.locks.lock; public class DemoClass { private Lock lock; public DemoClass() { try { this.getlock().lock(); SharedResouce.instance().doSomething(); } finally { this.getlock().unlock(); } } } private Lock getlock() { return this.lock; } 59

60 DEMO II Building DSLs with JetBrains MPS 60

61 THE END. 61

62 62