Project Topics (where appropriate, relate to RPG assignments):

 - Layout in Visual Modelling (link with behaviour specification using Statecharts)
   [Tarek Sharbak]

   * literature: MSc thesis Denis Dube

   TODO: reference

 - Fujaba transformation language
   [Stijn Van Der Wee]

   * Literature: http://www.fujaba.de/

 - ATL, the Atlas Transformation Language
   [Daan Janssens]

 - design-space exploration with Alloy
   [Ken Vanherpen]

   * literature: Sagar Sen

 - Causal Block Diagram (CBD): model editor, simulator(s), result plotting

 - Causal Block Diagram (CBD): compiler to C, to DEVS, optimizer, LaTeX, multi-rate, ...
   [Bavo Vander Henst]

 - translating Statecharts to behaviourally equivalent Petri Nets (discrete-time semantics)
   [Mouzzam Houssain]

 - (RPG) modelling language engineering with arKItect
   [Mohammad Amin Sepasian]
   [Bojan Arnaudovski]

   * literature: http://www.k-inside.com/web/

 - (RPG) modelling language engineering with GME
   [Maryam Moein]
   [Daniel Dragojevic]

   literature: http://www.isis.vanderbilt.edu/Projects/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.

 - (RPG) modelling language engineering with VMTS
   [Dylan Kiss]

   literature:  https://www.aut.bme.hu/Pages/Research/VMTS/Introduction

   Tihamer Levendovszky, László Lengyel, Gergely Mezei, Hassan Charaf.
   A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS.
   Electr. Notes Theor. Comput. Sci. 127(1): 65-75 (2005)
   http://www.sciencedirect.com/science/article/pii/S1571066105001155

 - Feature Modelling with Clafer
   [Athanasios Koutoulas]

   * literature: http://www.clafer.org/

   TODO: correct reference
   Kacper Bąk, Krzysztof Czarnecki, Andrzej Wąsowski
   Feature and meta-models in Clafer: mixed, specialized, and coupled.
   2011.  Software Language Engineering Pages 102-122
   http://gsd.uwaterloo.ca/sites/default/files/clafer.pdf

 - Modelling and synthesis of syntax-directed textual modelling environments with Spoofax/Stratego
   (Spoofax is the Eclipse version of Stratego)
   [Leonard Elezi]

   * literature: http://strategoxt.org/Spoofax

   TODO: top papers

 - Testing (of Statecharts? of transformations? ...)
   [Leonardo Araújo de Jesus]



 - Domain-Specific Modelling of complex User Interfaces

   * literature: David Carr (DSL to SC)

   TODO: thesis reference

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

 - Business Process Modelling Notation (BPMN)
   Build a visual modelling environment (for a subset of BPMN) + map onto Petri Nets, for analysis

   * literature: http://www.bpmn.org/

 - Yet Another Workflow Language (YAWL)

   * literature: http://www.yawlfoundation.org/

 - multi-view (in-)consistency

   * literature:

     Robert Balzer. Tolerating Inconsistency. ICSE 1991: 158-165
     http://sei.pku.edu.cn/~yaoguo/PhDReading07/balzer-icse13.pdf

     Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh.
     Inconsistency Handling in Multperspective Specifications. IEEE Trans. Software Eng. 20(8): 569-578 (1994)
     http://spiral.imperial.ac.uk/bitstream/10044/1/460/1/Inconsistency%20handling%20in%20multiperspective%20specifications.pdf

     Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh, L. Finkelstein, Michael Goedicke: Viewpoints.
     A Framework for Integrating Multiple Perspectives in System Development.
     International Journal of Software Engineering and Knowledge Engineering 2(1): 31-57 (1992)
     http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.8859&rep=rep1&type=pdf

 - Model Management:

   * literature: 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.

   MMTF

 - 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)

 - incremental model transformation (RETE) with VIATRA2

   * literature: Varro et. al

 - UPPAAL for analysis of RPG models

    http://www.uppaal.org/

 - Play-In Play-Out (David Harel, Joel Greenyer)

 - Statechart variants (Nancy Day's paper)
   Deconstructing the Semantics of Big-Step Modelling Languages
   Shahram Esmaeilsabzali, Nancy A. Day, Joanne, M. Atlee, Jianwei Niu
   Requirements Engineering 2009.

 - Semantic adaptation: Statecharts as compiled block in CBDs