VIATRA/DeveloperMeetingMinutes/Meeting20160915

Topics

• Bugzilla status: VIATRA
• TODOs from last week
  • TODO finish CPS benchmark specification wiki page
  • TODO Tutorial: Probably some links to EMF, VIATRA overview, etc. should be added
  • TODO Aggregators
    • more test cases systematically for model changes
  • TODO list industrial partners/projects on front page
• Documentation:
  • Gábor QBE https://bugs.eclipse.org/bugs/show_bug.cgi?id=495387
  • Balázs: Local search https://bugs.eclipse.org/bugs/show_bug.cgi?id=501047
  • Gábor: Aggregators https://bugs.eclipse.org/bugs/show_bug.cgi?id=501046
  • Zoltán: Java types https://bugs.eclipse.org/bugs/show_bug.cgi?id=501048
  • New and Noteworthy for 1.4: VIATRA/Releases/NewAndNoteworthy1.4 and VIATRA/Releases/MigrationTo1.4
• Local search issues
  • Performance benchmark
  • Derived feature handling https://bugs.eclipse.org/bugs/show_bug.cgi?id=501395

Minutes

• Local search benchmark
  • Measurement results: https://drive.google.com/drive/folders/0BxSC3bVi_TrSb1EyaV9rX3VPcmM
  • A single, very expensive pattern (triggerPair) is responsible for 90% of execution time: https://github.com/viatra/org.eclipse.viatra.examples/blob/master/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/queries/cpsXformM2M.vql#L63
  • Size hints are given
• Local search derived feature handling
  • Non well-behaving derived features must not be indexed
• Local search prepare current strategy
  • All model elements are indexed that are required for a plan for any possible parameter binding
  • Can be reduced by declaring parameter directions in the pattern
• TODOs from last week
  • Everything in progress
• Aggregator test cases:
  • Tomi will work on extending the test suite
• Documentation
  • QBE: http://viatra.net/news/2016/7/introducing-viatra-query-by-example
  • Local search: under moderation
    • TODO Balázs: signal to webmaster
  • Java types: TODO Zoli
  • Aggregators: TODO Gaben, Zoli