- modelling a sophisticated visual DCharts editor
- study Statecharts in detail (> constraints)
- implement contraints and layout
- textual DSLs: use Xtext,
can generate editor (example: chess, e-mail queries)
- internal DSLs: scala
- internal DSLs: jetbrains
- comparing 2 graphical DSL editors: GMF,
MetaEdit+,
Poseidon for DSLs.
- add rule-based operational/denotational semantics to
MetaEdit+ models (for Traffic)
- design/implement priority/rule-based transformation language,
based on T-core transformation primitives
- a survey of Feature Modelling + visual modelling environment for FM in AToM^3
- Clafer (Class Diagrams and Features) + analysis
- Alloy (analysis by bounded exploration): link with Traffic example
- transforming Statecharts to Place/Transition Petri Nets
- UPPAAL for analysis of Traffic models
- QVT-R declarative modelling of relations/transformations.
Medini QVT
- DSVL for Modelica
- DSM (PhoneApps) to Android: behaviour+layout+debugging -> SC -> Java code+XML
- DSM (PhoneApps) to Web App: behaviour+layout+debugging -> SC -> Javascript
- SCXML -> Javascript for synthesis of simple text editor from SC
- Play-In Play-Out
- modelling in-browser multi-object animation with multiple Statecharts
- Causal Block Diagram editor and simulator
|
|