Presented by Markus Volter at CHOOSE Forum 2012

1. Modeling and Programming
isn‘t it all the same?
Markus Voelter
independent/itemis
voelter@acm.org
www.voelter.de
voelterblog.blogspot.de
@markusvoelter
+Markus Voelter

3. We don‘t want to
model,
we want to
program!

4. We don‘t want to
model,
we want to
program!
… at different levels of abstraction
… from different viewpoints
… integrated!

5. We don‘t want to
model,
we want to
program!
… with different degrees of
domain-specificity
… with suitable notations
… with suitable expressiveness

6. We don‘t want to
model,
we want to
program!
And always:
precise and tool processable

9. beforeFlight crashed
reset
next [alt > 0] next [alt == 0 && speed == 0]
airborne
flying
next [alt == 0 && speed > 0]
landing landed
next [alt == 0 && speed == 0]

13. Different Worlds
Programming Tools
!=
Modeling Tools

14. Different Worlds
Modeling Tool
!=
Modeling Tool

15. Different Worlds
Mix Models and Programs

16. Different Worlds
Mix Models and Programs
AST Navigation & Query

17. Different Worlds
Mix Models and Programs
AST Navigation & Query
Integration of 3GL code

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

20. Language
Workbench
(Martin Fowler)

21. Language
Workbench (Martin Fowler)
Freely
define
languages and
integrate
them

22. Language
Workbench(Martin Fowler)
use
persistent
abstract ?
representation

23. Language
Workbench (Martin Fowler)
language ::=
schema
+ editors
+ generators

24. Language
Workbench
(Martin Fowler)
?
projectional
editing

25. Language
Workbench (Martin Fowler)
persist
incomplete
or
contradictory
information

26. Language
Workbench (Martin Fowler)
powerful
editing
testing
refactoring
+
debugging
groupware
language definition
implies
IDE definition

27. Language
Workbench (Martin Fowler)
support for
„classical“
programming
+
„classical“ and
modeling

29. Big Language?
a
o b
n c
m d
k
L e
j f
i g
h
with many first class concepts!

30. Small Language?

 
L
 
with a few, orthogonal
and poweful concepts

31. Modular Language
 a b c
d e f
my L
g h i
j k l

with many optional,
composable concepts

32. Modular Language
Like frameworks
and libraries,

33. Modular Language
Like frameworks
and libraries,
but with syntax
and IDE support

35. Model
A schematic description of a
system, theory, or
phenomenon that accounts for
its known or inferred
properties and may be used
for further study of its
characteristics
www.answers.com/topic/mode
l

36. Model
A representation of a set of
components of a
process, system, or subject
area, generally developed for
understanding, analysis, improve
ment, and/or replacement of the
process
www.ichnet.org/glossary.htm

37. Model
an abstraction or
simplification of
reality
ecosurvey.gmu.edu/glossary.ht
m

38. Model
an abstraction or
simplification of
reality
a model is always
relative to something

39. Model
an abstraction or
simplification of
another model.

40. Model
an abstraction or
simplification of
another model.
“model” is a role.

41. Role?
Person Car
Owner Driver

42. Role?
driver
Person owner Car

43. Role?
driver
Person owner Car
A role characterizes a
relationship between two
entities.

44. Role?
model
Program Program
A role characterizes a
relationship between two
entities.

45. Role?
model
Program abstract detailed
Program

46. Role?
model
Program abstract detailed
Program
model abstract
detailed
Program

48. A Concrete
Example System:
mbeddr

50. An extensible C
with support for
formal methods,
requirements
and PLE.

51. IDE for Everything

52. A debugger
for all of that

54. SDK for building
your own
Language
Extensions!

55. IDE for Everything
JetBrains
MPS
Open Source
Language Workbench

57. Challenges
in embedded software
development

58. Abstraction
without
Runtime Cost

59. C considered
unsafe

60. Program
Annotations

61. Static Checks
and
Verification

62. Product Lines
and
Requirement
Traces

63. Separate, hard to
integrate Tools

65. mbeddr C
Solution
Philosophy

66. Extension
Extension
more specialized domains
more specialized languages

67. Extension
Extension
more specialized domains
more specialized languages

68. Extension
Extension
more specialized domains
more specialized languages

69. Extension
Extension
more specialized domains
more specialized languages

71. Incremental Trafo

72. Incremental Trafo

73. Incremental Trafo

74. Incremental Trafo

76. Language Extension

77. Language Extension

78. Language Extension

80. DEMO

82. Status
and
Availability

83. http://mbeddr.co
m

84. Developed within
LWES
Language Workbenches
for
Embedded Systems
gefördert durch das BMBF
Förderkennzeichen 01|S11014

85. Open Source
(EPL)

86. support for
graphical 2013

87. integration
in 2013

88. First
Commercial
Project

89. 2 Developers, 4 months
existing source code
30.000 – 50.000 LOC
Product Line
Certification Required

90. Systematic
Study with
BMW

91. The “Pacemaker”
Challenge

93. An extensible version of the
C programming language
for Embedded Programming
http://mbeddr.co
m
C the Difference – C the Future
gefördert durch das BMBF
Förderkennzeichen 01|S11014

94. Some of this material is
based on this book:
http://dslbook.org
available Feb 2013
www.dslbook.org