KIELER Meeting 2010-12-08

Present: msp, cmot, rvh, haf, jes, cds, hdw, uru, jjc, ckru, mri, soh

Release Party

Yeeehaaaa!

• Problems during creation of release 0.4: need a proper testing process!
  • Maybe use  TPTP?
  • More lightweight process using Wiki and demo videos
  • Use examples from example management for testing
• All key features should be documented with demo videos!
  • Developers of new features should ask owners of recording tools (Camtasia etc.) so they can create demos
  • When new releases are upcoming, testers should follow the demos to test key features
  • Care must be taken to avoid a too heavy process
• Next release: march
  • Need to clarify whether MENGES features can be included

Example Management

• Need example export demo by pkl, should help everyone in creating the examples
  • #1333 haf: SyncCharts?
  • #1334 msp/cds: KAOM import from Ptolemy
  • #1335 msp/mri: Benchmark graphs for KEG
  • #1336 jes: UML Statecharts

Ptolemy Import (cds)

• Use keyword 'experimental' for import wizard
• Add hint to expected file extension '*.moml'
• #1328 Problem: EMF depends on specific file extensions for loading models
  • Workaround: load file into a stream, then create a resource with dummy file name
• Is an import wizard the right instrument for this task?
  • Maybe implement easier mechanisms to open Ptolemy models, e.g. create on-the-fly diagrams
• #1329 Still problems with relations: some links are directed in the wrong way
• #904 Problems with text annotations, which are displayed as comments in Vergil
  • Currently transformed to entities
  • Maybe add direct visual representation for annotations
  • Maybe disable canonical edit policies to improve performance, so not all annotations need hidden edit parts, views, and figures

Batch Analysis (mri)

• Errors pop up about 'KIEM DataComponents?'
• Evaluate  Apache POI for handling of data and formulas in tables

Esterel Transformation (uru)

• #1337 SyncCharts? check file needs to be adapted so that macro-states with text but no initial states are not marked with error
• #1338 WristWatch? example: test case for view management
• #1339 Use simulation for validation of correctness
  • eso files include input / output traces
  • Compare simulation of transformed SyncChart? with pre-computed traces
  • Benchmark for transformation, for Ptolemy simulation, and for SC simulation
• Esterel grammar still has some problems