Meeting 2009-06-19

Model Transformation

• Transformationen in KIELER
  • DSML -> Ptolemy EMF (KlePto)
  • Text EMF <-> GMF EMF (Textual Modeling)
  • EMF <- (Structure Based Editing)
  • Text -> GMF / EMF <- (Esterel)
• Criteria for transformation frameworks
  • Maturity
  • Longevity
  • Simplicity
• Known frameworks
  • oAW Extend
  • QVT
  • ATL
• Experiences of Christian Buckl about oAW Extend
  • oAW has developed very quickly, big community of users and developers
  • In-place transformation possible, see  http://www6.in.tum.de/Main/TeachingWs2008Echtzeitsysteme
  • Usual workflow for modeling of embedded systems: use several models, combine them and apply transformations to bring the model further to an implementation on the target
  • Concepts for model transformation and code generation are very similar
  • Contact Gerd Kainz for further information,  http://www6.in.tum.de/Main/Kainzg
• Idea: perform a practical course on model transformation and code generation in WS 09/10

Dataflow Editors

• Dataflow Editors in KIELER
  • Basic editor -> Lustre (ctr)
  • Ptolemy / SCADE (chsch)
  • IEC 61499 (schm)
• IEC 61131 (Christian Buckl)
  • See the Autofocus project, Prof. Broy:  http://autofocus.informatik.tu-muenchen.de/
  • Editor by Validas AG,  http://www.validas.de/
• Suggestion: create a generic metamodel and refinements using extensions (subclasses) for each specific language
  • Generic model describes basic structure (maybe use the KGraph?)
  • Refinement models include specialties for display in GMF editors and semantic properties
  • Advantage: code that operates on the structure of the model can be reused, separate meta models for different applications (MVC paradigm)