Modelling and Programming: Isn’t it all the same?
Download as PPTX, PDF0 likes504 views
This document discusses modeling and programming, arguing that they are not the same but should be integrated. It advocates programming at different levels of abstraction and viewpoints. Modeling tools and programming tools are different worlds that should be mixed by integrating models and programs through AST navigation and query. A language workbench approach is described that can freely define languages and integrate them with powerful editing, testing, and debugging tools. Both big languages and modular languages with optional concepts are discussed. The concrete example of Mbeddr, an extensible C for embedded systems, is presented.
![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]](https://image.slidesharecdn.com/programmingtomodeling-markusvolter-130213062608-phpapp01/85/Modelling-and-Programming-Isn-rsquo-t-it-all-the-same-9-320.jpg)
Modelling and Programming: Isn’t it all the same?
- 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
- 50. An extensible C with support for formal methods, requirements and PLE.
- 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
- 61. Static Checks and Verification
- 62. Product Lines and Requirement Traces
- 63. Separate, hard to integrate Tools
- 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
- 80. DEMO
- 82. Status and Availability
- 84. Developed within LWES Language Workbenches for Embedded Systems gefördert durch das BMBF Förderkennzeichen 01|S11014
- 85. Open Source (EPL)
- 87. integration in 2013
- 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