Project Topics (where appropriate, relate to railway assignments): - Ontologies (to reason about properties) http://protege.stanford.edu/ * literature: Ian Horrocks. Ontologies and the semantic web. Communications of the ACM, 51(12):58-67, December 2008. Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation, chapter 3, pages 135-180. Elsevier, 2008. Robert Tairas, Marjan Mernik and Jeff Gray. Using Ontologies in the Domain Analysis of Domain-Specific Languages. Models in Software Engineering. Lecture Notes in Computer Science 5421. pp. 332-342. Springer 2009. - 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): multi-rate, dynamic structure, debugging, results plotting, parallelization, ... - Translating Statecharts to behaviourally equivalent Petri Nets (discrete-time semantics) [Louis] * literature: http://dl.acm.org/citation.cfm?id=584376 - Testing (of Statecharts, of transformations, ...) [Jens] * literature: Gehan M. K. Selim, James R. Cordy, Juergen Dingel Model transformation testing: the state of the art http://dl.acm.org/citation.cfm?id=2432502 - Input model generation for transformation testing - Mutation-based testing of model transformations [Joran] * literature: - MDE project by Ali Parsai - http://msdl.cs.mcgill.ca/people/hv/teaching/MSBDesign/201314/projects/Ali.Parsai/ - Jean-Marie Mottu, Benoit Baudry, Yves Le Traon Mutation Analysis Testing for Model Transformations http://link.springer.com/chapter/10.1007%2F11787044_28 - Sagar Sen, Benoit Baudry Mutation-based Model Synthesis in Model Driven Engineering http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4144732&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D4144732 - Operational semantics for Parallel DEVS using model transformations in AToMPM [Bart] * literature: Chow, A. C. H., Zeigler, B. P., and Kim, D. H. Abstract simulator for the parallel DEVS formalism http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=390488&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D390488 - Domain-Specific Modelling of complex User Interfaces (incl. code generation) * literature: David A. Carr, Ninad Jog, Harsha Prem Kumar, Marko Teittinen, and Christopher Ahlberg USING INTERACTION OBJECT GRAPHS TO SPECIFY GRAPHICAL WIDGETS http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.510.4672&rep=rep1&type=pdf - QVT-R declarative modelling of relations/transformations. (Medini QVT) - Yet Another Workflow Language (YAWL) Build a visual modelling environment (for a subset of YAWL) + map onto Petri Nets, for analysis * 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. Rick Salay, Marsha Chechik, Steve Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn: An Eclipse-Based Tool Framework for Software Model Management http://dl.acm.org/citation.cfm?id=1328291 - Megamodelling: * literature: Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik Enriching Megamodel Management with Collection-Based Operators Foundations http://www.cas.mcmaster.ca/~kokalys/files/Models15.pdf - Model Differencing: [Joeri] * literature: Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio. A Metamodel Independent Approach to Difference Representation. Journal of Object Technology 6(9): 165-185 (2007) - Textual languages - Xtext [Fedor] * literature: MDE project by Hannu Viinikainen - http://msdl.cs.mcgill.ca/people/hv/teaching/MSBDesign/201415/projects/Hannu.Viinikainen/ https://eclipse.org/Xtext/ - Incremental model transformation (RETE) with incQuery * literature: - Varro et al. - http://www.eclipse.org/incquery/ - UPPAAL for analysis of railway models * literature: - Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., and Yi, W. UPPAAL - a tool suite for automatic verification 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 * literature: Shahram Esmaeilsabzali, Nancy A. Day, Joanne, M. Atlee, Jianwei Niu Deconstructing the Semantics of Big-Step Modelling Languages Requirements Engineering 2009. - Semantic adaptation: Statecharts as compiled block in CBDs - Mapping of railway models to SCCD in AToMPM (for code generation) - Multi-level modelling with Melanee [Amin] * literature: http://www.melanee.org/ - Reachability analysis of Petrinets models in AToMPM using model transformations [Jasper] * 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 - Explicit modelling of DEVS experiments (in AToMPM) (repeated model simulation, statistics gathering) [Ian] * literature: http://sed-ml.org/ http://www.sciencedirect.com/science/article/pii/S1569190X05000468 - Debugging of action code (in AToMPM) by explicitly modelling execution engine - Efficient Model Transformations [Sten] * literature: http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=C1EA6EE682E962AFDF89B3E3F8942196?doi=10.1.1.31.2611&rep=rep1&type=pdf http://www.sciencedirect.com/science/article/pii/S1571066106001472 http://link.springer.com/chapter/10.1007/978-3-319-11245-9_17 - MOMoT for model transformation * literature: Martin Fleck, Javier Troya, Manuel Wimmer Marrying Search-based Optimization and Model Transformation Technology http://martin-fleck.github.io/momot/downloads/NasBASE_MOMoT.pdf - Modelling with DPF (focus on model completion) [Mathias] * literature: Yngve Lamo, Xiaoliang Wang, Florian Mantz, Wendy MacCaull, Adrian Rutle DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment http://link.springer.com/chapter/10.1007%2F978-3-642-30454-5_3 Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen A Diagrammatic Approach to Model Completion http://dpf.hib.no/wp-content/uploads/Techreport-17-09-15.pdf - Modelling with Papyrus [Kristof] * literature: Sébastien Gérard, Cédric Dumoulin, Patrick Tessier and Bran Selic Papyrus: A UML2 tool for Domain-Specific Language Modeling http://www.researchgate.net/publication/230561386_Papyrus_A_UML2_Tool_for_Domain-Specific_Language_Modeling_Model-Based_Engineering_of_Embedded_Real-Time_Systems - Domain modellig with Clafer [Maryam] * literature: http://www.clafer.org/