VIATRA/DeveloperMeetingMinutes/Meeting20160818

Topics

• Bugzilla status: VIATRA
• TODOs from last week
  • LS - Allow statistics-only Base index usage as well (via hints)
  • CPS benchmark memory measurement
    • https://build.incquerylabs.com/jenkins/job/viatra-cps-benchmark/lastSuccessfulBuild/artifact/benchmark/cpsBenchmarkReport.html
  • Aggregators
    • Implement local search integration
    • Include aggregators in CPS
  • Type inference
    • Ability to specify scalar types of parameters explicitly
    • Optimization: Use Xtext index
• Query dev UI improvements
  • Support additional UI features (https://bugs.eclipse.org/bugs/show_bug.cgi?id=497925)
  • Graduate browser plug-in (https://bugs.eclipse.org/bugs/show_bug.cgi?id=499670)
  • Show location for results (https://bugs.eclipse.org/bugs/show_bug.cgi?id=499736)
• Query hints and matcher initialization
  • https://git.eclipse.org/r/78035

Minutes

• LS - statistics only
  • No work required, it already works
  • UseBaseIndex=false + statistics-based planner provides the required service
  • TODO add statistics-only planning - no-base at runtime configuration to CPS
• CPS benchmark memory measurements
  • Average and peak memory usage measurements added
• Aggregator
  • Missing validation added
  • Min aggregator bug found, workaround is very expensive (collection copy)
  • LS does not support aggregators yet
• Type inference
  • Aggregator change is blocking this work (parallel language modifications)
• Hints and parameter directions in pattern language
  • Direction:
    • important for LS to avoid planning unnecessary adornments
    • Only generate matcher methods for possible combinations
  • File level annotations (see examples below)
    • group{} version selected initially
• Query Dev UI improvements
  • Feature parity: Rete visualizer, LS debugger, Viewers, show location
  • Current work: filtering
  • Graduation to 1.4
• Bugzilla issues in 1.4
  • Everyone please consider your issues and postpone to 1.5 if needed (milestones added already)
• Reschedule meetings
  • Daniel Varro: it would be better 14:30-15:00 CET as a start time
  • In September a rescheduling might be required because of committers from the University
    • Decision postponed
• CPS benchmark as TTC case - possibly in cooperation with Frédéric Jouault (ATL)
• Documentation
  • Tutorial was read by third-party
    • Feedback applied to the documentation
  • TODO CPS documentation needs to be updated
  • TODO finish CPS benchmark specification wiki page

package example
 
@Hint(costFunction = VariableBindingBasedCostFunction)
group {
 
  pattern pattern1()...
 
  @Hint(rowCount = 6)
  pattern pattern2()...
 
}
--------
 
package example
 
config{
  costFunction = VariableBindingBasedCostFunction
}
 
pattern pattern1()...
 
@Hint(rowCount = 6)
pattern pattern2()...
-----------------
 
package example
 
@Hint(costFunction = VariableBindingBasedCostFunction)
config
 
pattern pattern1()...
 
@Hint(rowCount = 6)
pattern pattern2()...