[Modelinterpreter] MODELS 2015 -- 09-30

[Dévai Gergely]

MODELS 2015, 09-30
Keynote: Steve Easterbrook, University of Toronto: Modelling the Climate System: Is model-based science like model-based engineering?
 * 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.Session DSLs I.
 * ~65 people
 * Gergely Dévai: Textual Diagram Layout Language and Visualization Algorithm
 * Questions/comments:
 * Have we considered other text languages that describe graphics?
 * yes, for example latex packages, our language constructs are motivated by those languages * Not convinced if text description is better than graphical
 * ideally it would be done in graphics, but now compare/merge and other problems force us to do a first step * Would it be possible to go from graphics to text
 * interesting challenge… * Maybe an iterative approach could help to achieve that (tool reference: yED) * Would it be possible to immediately see the result on the diagram; liked the talk, we should talk more in the break
 * yes, incremental generation is a mid-term plan * Later we really had a chat:
 * asked about motivation * he is doing research in the field of understanding UML diagrams, eg. eye-tracking (in Gothenburg) * heuristic: classes with many details should go to the center
 * Pattern-Based Development of Domain-Specific Modelling Languages
 * using and combining (meta)modeling patterns to create DSLsSession Behavioural modeling I.
 * ~50 people
 * Amal Khalil: Incremental Symbolic Execution of Evolving State Machines
 * make symbolic execution of state machined faster by reusing results from earlier runs and updating those according to changes in the model * they do not handle global state
 * Tuhin Kanti: State Machine Antipatterns for UML-RT
 * choice with overlapping conditions ⇒ chain of choice nodes (more like if-elseif-… in code) * conference state machine ⇒ hierarchical state machine expression more about the ordering of the signals
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://plc.inf.elte.hu/pipermail/modelinterpreter/attachments/20151001/9c6ee664/attachment.html>