• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Modelling and Programming: Isn’t it all the same?
 

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

on

  • 233 views

Presented by Markus Volter at CHOOSE Forum 2012

Presented by Markus Volter at CHOOSE Forum 2012

Statistics

Views

Total Views
233
Views on SlideShare
233
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