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

 - Layout in Visual Modelling (link with behaviour specification using Statecharts)
   
   * literature: MSc thesis Denis Dube http://msdl.cs.mcgill.ca/people/denis/files/thesis_HREF.pdf

 - Causal Block Diagram (CBD): model editor, simulator(s), result plotting
   [Michaël Deckers]

 - Causal Block Diagram (CBD): optimizer, parallelization
   [Konstantinos Theodorakos]

 - Causal Block Diagram (CBD): compiler to LaTeX, DEVS
   [Nicolas Demarbaix]
 
 - Causal Block Diagram (CBD): multi-rate, dynamic structure

 - translating Statecharts to behaviourally equivalent Petri Nets (discrete-time semantics)

   * literature: http://dl.acm.org/citation.cfm?id=584376

 - (RPG) modelling language engineering with WebGME
   [Addis Alemayehu Gebremichael]

   * literature:
      - http://webgme.org/
      - Miklós Maróti, Tamás Kecskés, Róbert Kereskényi, Brian Broll, Péter Völgyesi, László Jurácz, Tihamér Levendovszky, Ákos Lédeczi
        Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure

 - Feature modelling with Clafer
   [Tom Wijsman]

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

 - Testing (of Statecharts? of transformations? ...)
 
 - Input model generation for transformation testing
 
 - Mutation-based testing of model transformations
 
 - Operational semantics for Parallel DEVS using model transformations in AToMPM
 
 - Domain-Specific Modelling of complex User Interfaces
   [Pieter Aerts]

   * 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)
   [Srinivasan Balakrishan]

   * 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 incQuery

   * literature:
     - Varro et. al
     - http://www.eclipse.org/incquery/

 - UPPAAL for analysis of RPG models
   [Stefaan Kenis]

   * literature:
     - Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., and Yi, W. UPPAAL - a tool suite for automatic verication of real-time systems.
       In Hybrid Systems III, R. Alur, T. Henzinger, and E. Sontag, Eds., vol. 1066 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1996, 232-243.
     - 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
 
 - mapping of RPGames to SCCD in AToMPM
 
 - multi-level modelling with Melanie
   [Sara Sali]

   * literature: http://www.melanee.org/
 
 - Reachability analysis of Petrinets models in AToMPM using model transformations
   [Yangmei Jia]

   * literature: Murata, T. Petri nets: Properties, analysis and applications.
                 Proceedings of the IEEE 77, 4 (1989), 541-580.
                 http://inst.eecs.berkeley.edu/~ee249/fa07/discussions/PetriNets-Murata.pdf
 
 - Using Groove for analysing RPGame models
   [Brent van Bladel]

   * literature: http://groove.cs.utwente.nl/

 - Automatic transformation of AToMPM models and transformations to Groove
   [Jeroen De Busser]

   * literature: http://groove.cs.utwente.nl/
 
 - Xtext/Xbase for RPGame modelling and semantics
   [Hannu Viinikainen]

   * literature: https://eclipse.org/Xtext/ https://wiki.eclipse.org/Xbase
 
 - Explicit modelling of DEVS experiments (in AToMPM) (repeated model simulation, statistics gathering)
   [Timmy Nelen]
 
 - Debugging of action code (in AToMPM) by explicitly modelling execution engine
 
 - Transformation of the visual timeline formalism
   [Andrea Zaccara]

   * literature: Transforming Timeline Specifications into Automata for Runtime Monitoring
                 http://www.bodden.de/pubs/bv07transforming.pdf

 - efficient graph matching
   [Thomas Pinna]

 - Modelica
   [Yves Maris]

   * literature: https://www.modelica.org/