Project Topics (where appropriate, relate to Production System assignments):

 - Statechart modelling of complex User Interfaces

   * literature: 2009 HCI paper
 
 - Feature Modelling with clafer

   * literature: webstie
 
 - Domain-Specific Modelling

   * literature: Kelly and Tolvanen
                 modular design: Meyers/Mannadiar and Vangheluwe

 - model differencing

   * literature: Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio. 
                 A Metamodel Independent Approach to Difference Representation. 
                 Journal of Object Technology 6(9): 165-185 (2007)

 - modelling language evolution

   * literature: Bart Meyers and Hans Vangheluwe. 
                 A framework for evolution of modelling languages. 
                 Science of Computer Programming, 2011. 
                 http://dx.doi.org/10.1016/j.scico.2011.01.002.

 -  DSLTools (Microsoft)

 - evolution tools

   cope 

 - incremental model transformation (RETE) with VIATRA2 
    
   * literature:

 - a core for model transformation

   * literature: Wagelaar

 - UML model refactoring
 
 - instance generation from meta-models (for model transformation testing)

   * literature: Benoit Baudry

 - design-space exploration

   * literature: Sen
 
 - analysis of model transformations

   * literature: Juan de Lara and Hans Vangheluwe.
                 Automating the transformation-based analysis of visual languages.
                 Formal Aspects of Computing, 22(3-4):297--326, May 2010.

                 Levi Lucio, Bruno Barroca, Vasco Amaral. 
                 A Technique for Automatic Validation of Model Transformations.
                 MoDELS 2010: 136-150

 - add rule-based operational/denotational semantics to MetaEdit+ models 
   (for Production System)

 - Fujaba transformation language

 - ATL transformation language 
 
 - design/implement priority/rule-based transformation language, 
   based on T-core transformation primitives

 - UPPAAL for analysis of Production System models

    website

 - QVT-R declarative modelling of relations/transformations. Medini QVT

 - DSM (PhoneApps) to Android: behaviour+layout+debugging -> SC -> Java code+XML

 - Play-In Play-Out

 - modelling multi-object animation with multiple communicating Statecharts

 - Causal Block Diagram (CBD) editor and simulator(s)

 - agents in Anylogic - production system

 - individual based vs. population dynamics model of virus spreading

 - modelling NPCs with Statecharts

 - heterogeneous systems in Ptolemy II

 - heterogeneous systems in ModelH'X

 - Statechart variants (Nancy Day's paper)

 - Statecharts as compiled block in CBDs

 - kermeta: executable meta-modelling (production system)

 - GME: Z. Molnár, D. Balasubramanian, A. Lédeczi, An Introduction to the Generic Modeling Environment, 
   in Model-Driven Development Tool Implementers Forum, TOOLS workshop, 2007.

 - Grundy, J., Hosking, J., Zhu, N., and Liu, N.  Generating Domain-Specific Visual Language Editors from High-level Tool Specifications.
   In Proceedings of the 21st International Conference on Automated Software Engineering (ASE), 2006, pp. 25-36.

 - Model Management:
   Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh., M. A Manifesto for Model Merging, 
   In Proc. of the 1st International Workshop on Global Integrated Model Management (associated with ICSE'06), May 2006.

 - Daniel L. Moody, The "Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering, 
   In IEEE Transactions on Software Engineering,  35(6): 756-779, (Nov-Dec, 2009).

 - UI generation
   
   Jeffrey Nichols, Brad A. Myers, Brandon Rothrock. "UNIFORM: Automatically Generating Consistent Remote Control User Interfaces," 
   In Proceedings of CHI'2006. April 22-26. Montreal, Canada. pp. 611-620. 

 - RAM: Re-usable Aspect Models

   Jörg Kienzle, Wisam Al Abed and Jacques Klein.
   Aspect-oriented multi-view modeling.
   Proceedings of the 8th ACM international conference on Aspect-oriented software development (AOSD '09).
   pp. 87--98. Charlottesville, USA. 2009.
   http://dl.acm.org/citation.cfm?doid=1509239.1509252

   Jörg Kienzle, Wisam Al Abed, Franck Fleurey, Jean-Marc Jézéquel and Jacques Klein.
   Aspect-Oriented Design with Reusable Aspect Models.
   Transactions on Aspect-Oriented Software Development VII.
   Lecture Notes in Computer Science, 2010, Volume 6210/2010, 272-320. 
   http://www.springerlink.com/content/51w6731302557w68/