Project Topics (where appropriate, relate to railway assignments):
- Ontologies (to reason about properties) [Olivier]
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.
- Textual languages - Xtext [Andrés]
http://www.eclipse.org/Xtext/
- mbeddr [Lucas]
http://mbeddr.com/
- Papyrus modelling environment [Dominique]
https://eclipse.org/papyrus/
- Domain-Specific Modelling of complex User Interfaces (incl. code generation by mapping onto SCCD) [Corrado]
* literature: David A. Carr, Ninad Jog, Harsha Prem Kumar, Marko Teittinen, and Christopher Ahlberg
Using Interaction Object Graphs to Specify Graphical Widgets
- Layout in Visual Modelling (link with behaviour specification using Statecharts) [Gitte]
* literature: MSc thesis Denis Dube
- Eclipse Layout Kernel
* http://www.eclipse.org/elk/
- Sequentially Constructive Statecharts
- Translating Statecharts to behaviourally equivalent Petri Nets (discrete-time semantics) [Matteo]
* literature:
Harel and Kugler. UML semantics of Statecharts (Tech Report)
Time Petri Nets analysis tool
http://projects.laas.fr/tina/
Translation SC -> PN
http://link.springer.com/chapter/10.1007%2F11562436_5
- Statechart variants
* literature: Shahram Esmaeilsabzali, Nancy A. Day, Joanne, M. Atlee, Jianwei Niu
Deconstructing the Semantics of Big-Step Modelling Languages
Requirements Engineering 2009.
- Executable Object Modelling.
* literature: David Harel and Eran Gery.
Executable object modeling with statecharts. IEEE Computer, pages 31-42, 1997.
implement using SCCD
- VF2 and for model transformation
- T-Core for model transformation language design
* literature: Eugene Syriani, Hans Vangheluwe, and Brian LaShomb.
T-core: A framework for custom-built transformation languages.
Software and Systems Modeling (SoSyM), 14(3):1215-1243, 2015.
- Input model generation for transformation testing
- Operational semantics for Parallel DEVS using model transformations in AToMPM
* literature: Chow, A. C. H., Zeigler, B. P., and Kim, D. H.
Abstract simulator for the parallel DEVS formalism
- Incremental model transformation (RETE) with incQuery
* literature:
- Varro et al.
- http://www.eclipse.org/incquery/
- 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
- 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)
- 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)
- 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
- Megamodelling:
* literature: Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik
Enriching Megamodel Management with Collection-Based Operators Foundations
- 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)
* literature: The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions
J Greenyer, C Brenner, VP La Manna. Electronic Communications of the EASST 58.
- Instance-based automatic language generation (in AToMPM) [Simon]
* literature: Example-driven meta-model development.
López-Fernández, J.J., Cuadrado, J.S., Guerra, E. et al. Softw Syst Model (2015) 14: 1323. doi:10.1007/s10270-013-0392-y
- Semantic adaptation: Statecharts as blocks in CBDs, or CBD in Statecharts states [Manuel]
* literature: Sadaf Mustafiz, Bruno Barroca, Claudio Gomes, and Hans Vangheluwe.
Towards modular language design using language fragments: The hybrid systems case study.
In Proceedings of the 13th International Conference on Information Technology: New Generations (ITNG 2016), pages 785 - 797. Springer April 2016.
- Multi-level concrete syntax in Melanee
* literature: http://www.melanee.org/
- MOMoT for model transformation
* literature: Martin Fleck, Javier Troya, Manuel Wimmer
Marrying Search-based Optimization and Model Transformation Technology
- Graphical modelling with the Sirius framework [Arkadiusz]
https://www.eclipse.org/sirius/doc/
- Enabling ontological reasoning in engineering process specifications
[PDF]
- Creating a visual runtime environment for a small subset of SCCD in AToMPM, using SCCD
* literature: Simon Van Mierlo, Yentl Van Tendeloo, and Hans Vangheluwe. Debugging Parallel DEVS. SIMULATION, August 2016.
- (Hierarchical) co-simulation using DEVS
* https://www.fmi-standard.org/
- The Capella modelling workbench.