Upgrade to Pro — share decks privately, control downloads, hide ads and more …

mbeddr & MPS overview

747ee5b01d0969d624683652122fd377?s=47 Kolja Dummann
March 14, 2014
Programming
0
64

mbeddr & MPS overview

A high level overview about mbeddr and the Meta Programming System bei JetBrains

747ee5b01d0969d624683652122fd377?s=128

Kolja Dummann

March 14, 2014
Tweet

More Decks by Kolja Dummann

See All by Kolja Dummann
747ee5b01d0969d624683652122fd377?s=48 coolya
0
560
747ee5b01d0969d624683652122fd377?s=48 coolya
0
38
747ee5b01d0969d624683652122fd377?s=48 coolya
0
42
747ee5b01d0969d624683652122fd377?s=48 coolya
0
86
747ee5b01d0969d624683652122fd377?s=48 coolya
0
2.1k
747ee5b01d0969d624683652122fd377?s=48 coolya
0
260

Other Decks in Programming

See All in Programming
A0f8acd52ed0bac0c4d87220ef0aa383?s=48 shotarok
0
540
B9012970f22b84c5b344ffa6f8a884d5?s=48 camaelon
0
110
19f1fb8a5b63d66de15279a8c31695a1?s=48 zoothezoo
1
210
655e620122d83015d6363506970a71d5?s=48 haruu_iq
0
460
7c9b8b368924556d8642bdaed3ded1f5?s=48 danilop
1
540
832534770705425fc1f64ad60cb875a2?s=48 show_kanamaru
6
3.3k
15934fa2aa7b2ce21f091e9b7cffa856?s=48 manfredsteyer
PRO
0
220
12c88a3a10478fa18d0363b3ba3d9df1?s=48 christianliebel
PRO
0
920
9516a84fcc28d6456d4fc87a5c8b130f?s=48 kidel
0
1.2k
D840733454bebebb5d6f0a2d95754897?s=48 aokabic
1
140
0d04162c7a3c2907c059a06dbcd23cf4?s=48 tokorom
2
270
7252086bae9203045dd7f5664fd96a07?s=48 manuelmeyer
0
120

Featured

See All Featured
5b6a2bd86ef643786a381a212e0ef2f1?s=48 geoffreycrofte
39
1.3k
2f5463832ccb768ccb4a1ca3607c27ef?s=48 jacobian
260
20k
E4f5d494ebdc9e7cce1aecf3ce3e8bc1?s=48 shpigford
167
19k
24fc194843a71f10949be18d5a692682?s=48 gr2m
85
11k
761be20b5ebd271008bcee1244fc5b52?s=48 matthewcrist
73
7.6k
3ab1249be442027903e1180025340b3f?s=48 reverentgeek
33
2.3k
0bce06bd06ee7a2c4f5500f25dcf7f18?s=48 paulrobertlloyd
72
3.8k
5f83ef806155b403c3393160ce51f955?s=48 jlugia
218
16k
027d1ebf66cc039a0bd3b55eeadbe75d?s=48 sachag
269
17k
Dad095ea7038f89f760419ce475d5d14?s=48 michaelherold
227
8.8k
E195ae45320d9202eaa01c9f1d31a416?s=48 marktimemedia
14
600
96270e4c3e5e9806cf7245475c00b275?s=48 addyosmani
496
110k

Transcript

  1. mbeddr & MPS A high level overview

  2. Meta Programming System

  3. Open Source Language Workbench

  4. Developed since 2003

  5. Apache 2.0 License

  6. Projectional Editor

  7. int i = 42 + 23;

  8. int i = 42 + 23;

  9. LocalVarDecl Name = i int i = 42 + 23;

  10. LocalVarDecl Name = i IntType Type int i = 42

    + 23;

  11. LocalVarDecl Name = i IntType Type Plus Init int i

    = 42 + 23;

  12. LocalVarDecl Name = i IntType Type Plus Init NumberLiteral Name

    = 42 Left int i = 42 + 23;

  13. LocalVarDecl Name = i IntType Type Plus Init NumberLiteral Name

    = 42 Left NumberLiteral Value = 23 Right int i = 42 + 23;

  14. Abstract Syntax Tree Concrete Syntax

  15. Abstract Syntax Tree Concrete Syntax

  16. Abstract Syntax Tree Concrete Syntax

  17. Abstract Syntax Tree Concrete Syntax

  18. Abstract Syntax Tree Concrete Syntax

  19. Abstract Syntax Tree Concrete Syntax

  20. Abstract Syntax Tree Concrete Syntax

  21. Abstract Syntax Tree Concrete Syntax

  22. Samples for projectional editors • Word (word processors) • Drawing

    tools (Photoshop etc) • DTP Tools • Webbrowsers

  23. PROS

  24. Mixing different notations

  25. Mixing different notations

  26. Mixing different notations

  27. Mixing different notations

  28. CONS

  29. Harder to archive copy and paste Harder to make it

    behave like expected

  30. http://mbeddr.com

  31. A Open Source Collection of integrated languages for embedded software

    engineering
  32. None

  33. Core Plain C

  34. Core Plain C Ext Components Statemachines Units

  35. Core Plain C Ext Components Statemachines Units CC Requirements Documentation

    PLE

  36. Core Plain C Ext Components Statemachines Units CC Requirements Documentation

    PLE Debugger

  37. Core Plain C Ext Components Statemachines Units CC Requirements Documentation

    PLE Analyses Debugger

  38. Core Plain C Cleaned up C hidden pre processor enhanced

    typesystem

  39. Ext Components Statemachines Units Modularization of software decouple specification and

    implementation improve testability

  40. Ext Components Statemachines Units model state based behavior on its

    natural abstraction improve readability due to less clutter verifiable with model checking

  41. Ext Components Statemachines Units typesystem integration with C user defined

    units no runtime overhead

  42. CC Requirements Documentation PLE prose description of the system arbitrary

    DSL to for structured data traceability with any mbeddr artifact

  43. CC Requirements Documentation PLE LaTeX, HTML or Word documents form

    requirements easy integration with real code

  44. CC Requirements Documentation PLE support for feature models FM instances

    are validated any artifact can be adapted to a variant

  45. Debugger debug on the semantics of the DSL

  46. How it works

  47. None

  48. Code

  49. Code Generator

  50. Code Generator

  51. Code Generator Text (C)

  52. Code Generator Text (C) Compiler

  53. Extensibility

  54. Possible Domains

  55. Questions?