Modelling and Programming: Isn’t it all the same?
Upcoming SlideShare
Loading in...5
×
 

Modelling and Programming: Isn’t it all the same?

on

  • 251 views

Presented by Markus Volter at CHOOSE Forum 2012

Presented by Markus Volter at CHOOSE Forum 2012

Statistics

Views

Total Views
251
Views on SlideShare
251
Embed Views
0

Actions

Likes
0
Downloads
3
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Modelling and Programming: Isn’t it all the same? Modelling and Programming: Isn’t it all the same? Presentation Transcript

  • Modeling and Programmingisn‘t it all the same? Markus Voelter independent/itemis voelter@acm.org www.voelter.de voelterblog.blogspot.de @markusvoelter +Markus Voelter
  • We don‘t want to model, we want to program!
  • We don‘t want to model, we want to program! … at different levels of abstraction … from different viewpoints … integrated!
  • We don‘t want to model, we want to program! … with different degrees of domain-specificity … with suitable notations … with suitable expressiveness
  • We don‘t want to model, we want to program! And always: precise and tool processable
  • beforeFlight crashed resetnext [alt > 0] next [alt == 0 && speed == 0] airborne flying next [alt == 0 && speed > 0] landing landed next [alt == 0 && speed == 0]
  • Different Worlds Programming Tools != Modeling Tools
  • Different Worlds Modeling Tool != Modeling Tool
  • Different Worlds Mix Models and Programs
  • Different Worlds Mix Models and Programs AST Navigation & Query
  • 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
  • Language Workbench (Martin Fowler)
  • Language Workbench (Martin Fowler) Freely define languages and integrate them
  • Language Workbench(Martin Fowler) use persistent abstract ? representation
  • Language Workbench (Martin Fowler) language ::= schema + editors + generators
  • Language Workbench (Martin Fowler) ? projectional editing
  • Language Workbench (Martin Fowler) persist incomplete or contradictory information
  • Language Workbench (Martin Fowler) powerful editing testing refactoring + debugging groupware language definition implies IDE definition
  • Language Workbench (Martin Fowler)support for „classical“ programming + „classical“ and modeling
  • Big Language? a o b n c m d k L e j f i g hwith many first class concepts!
  • Small Language?    L  with a few, orthogonaland poweful concepts
  • Modular Language  a b c d e f my L g h i j k l  with many optional, composable concepts
  • Modular Language Like frameworks and libraries,
  • Modular Language Like frameworks and libraries, but with syntax and IDE support
  • Model A schematic description of a system, theory, orphenomenon that accounts for its known or inferred properties and may be used for further study of its characteristics www.answers.com/topic/mode l
  • Model A representation of a set of components of a process, system, or subject area, generally developed forunderstanding, analysis, improvement, and/or replacement of the process www.ichnet.org/glossary.htm
  • Modelan abstraction orsimplification of reality ecosurvey.gmu.edu/glossary.ht m
  • Modelan abstraction orsimplification of reality a model is always relative to something
  • Modelan abstraction orsimplification of another model.
  • Modelan abstraction orsimplification of another model. “model” is a role.
  • Role? Person CarOwner Driver
  • Role? driver Person owner Car
  • Role? driver Person owner Car A role characterizes a relationship between two entities.
  • Role? model Program Program A role characterizes a relationship between two entities.
  • Role? model Program abstract detailed Program
  • Role? model Program abstract detailed Program model abstract detailed Program
  • A ConcreteExample System:mbeddr
  • An extensible Cwith support forformal methods, requirements and PLE.
  • IDE for Everything
  • A debuggerfor all of that
  • SDK for building your own Language Extensions!
  • IDE for Everything JetBrains MPS Open Source Language Workbench
  • Challengesin embedded software development
  • Abstraction withoutRuntime Cost
  • C considered unsafe
  • ProgramAnnotations
  • Static Checks andVerification
  • Product Lines andRequirement Traces
  • Separate, hard to integrate Tools
  • mbeddr C SolutionPhilosophy
  • ExtensionExtension more specialized domains more specialized languages
  • ExtensionExtension more specialized domains more specialized languages
  • ExtensionExtension more specialized domains more specialized languages
  • ExtensionExtension more specialized domains more specialized languages
  • Incremental Trafo
  • Incremental Trafo
  • Incremental Trafo
  • Incremental Trafo
  • Language Extension
  • Language Extension
  • Language Extension
  • DEMO
  • Status andAvailability
  • http://mbeddr.co m
  • Developed within LWES Language Workbenches for Embedded Systems gefördert durch das BMBF Förderkennzeichen 01|S11014
  • Open Source (EPL)
  • support forgraphical 2013
  • integration in 2013
  • FirstCommercial Project
  • 2 Developers, 4 months existing source code 30.000 – 50.000 LOC Product Line Certification Required
  • SystematicStudy with BMW
  • The “Pacemaker” Challenge
  • An extensible version of the C programming language for Embedded Programming http://mbeddr.co m C the Difference – C the Futuregefördert durch das BMBFFörderkennzeichen 01|S11014
  • Some of this material isbased on this book:http://dslbook.orgavailable Feb 2013 www.dslbook.org