
<html><h4 id="models_2015_09-30">MODELS 2015, 09-30</h4><div class="level4"><p>Keynote: Steve Easterbrook, University of Toronto: Modelling the Climate System: Is model-based science like model-based engineering?</p><ul><li class="level1"><div class="li">This talk was like a tutorial on how meteorologists model the Earth climate to do forecasts. Nothing to do with the modeling we do, but was funny and interesting anyway.</div></li></ul></div><h5 id="session_dsls_i">Session DSLs I.</h5><div class="level5"><ul><li class="level1"><div class="li">~65 people</div></li></ul><ul><li class="level1 node"><div class="li">Gergely Dévai: Textual Diagram Layout Language and Visualization Algorithm</div><ul><li class="level2 node"><div class="li">Questions/comments:</div><ul><li class="level3 node"><div class="li">Have we considered other text languages that describe graphics?</div><ul><li class="level4"><div class="li">yes, for example latex packages, our language constructs are motivated by those languages</div></li></ul></li><li class="level3 node"><div class="li">Not convinced if text description is better than graphical</div><ul><li class="level4"><div class="li">ideally it would be done in graphics, but now compare/merge and other problems force us to do a first step</div></li></ul></li><li class="level3 node"><div class="li">Would it be possible to go from graphics to text</div><ul><li class="level4"><div class="li">interesting challenge…</div></li></ul></li><li class="level3"><div class="li">Maybe an iterative approach could help to achieve that (tool reference: yED)</div></li><li class="level3 node"><div class="li">Would it be possible to immediately see the result on the diagram; liked the talk, we should talk more in the break</div><ul><li class="level4"><div class="li">yes, incremental generation is a mid-term plan</div></li><li class="level4 node"><div class="li">Later we really had a chat:</div><ul><li class="level5"><div class="li">asked about motivation</div></li><li class="level5"><div class="li">he is doing research in the field of understanding UML diagrams, eg. eye-tracking (in Gothenburg)</div></li><li class="level5"><div class="li">heuristic: classes with many details should go to the center</div></li></ul></li></ul></li></ul></li></ul></li></ul><ul><li class="level1 node"><div class="li">Pattern-Based Development of Domain-Specific Modelling Languages</div><ul><li class="level2"><div class="li">using and combining (meta)modeling patterns to create DSLs</div></li></ul></li></ul></div><h5 id="session_behavioural_modeling_i">Session Behavioural modeling I.</h5><div class="level5"><ul><li class="level1"><div class="li">~50 people</div></li></ul><ul><li class="level1 node"><div class="li">Amal Khalil: Incremental Symbolic Execution of Evolving State Machines</div><ul><li class="level2"><div class="li">make symbolic execution of state machined faster by reusing results from earlier runs and updating those according to changes in the model</div></li><li class="level2"><div class="li">they do not handle global state</div></li></ul></li></ul><ul><li class="level1 node"><div class="li">Tuhin Kanti: State Machine Antipatterns for UML-RT</div><ul><li class="level2"><div class="li">choice with overlapping conditions ⇒ chain of choice nodes (more like if-elseif-… in code)</div></li><li class="level2"><div class="li">conference state machine ⇒ hierarchical state machine expression more about the ordering of the signals</div></li></ul></li></ul></div></html>