Bachelor Thesis: A Domain-Specific Language for CellDEVS using Xtext with Python PDEVS Code Generation

This bachelor thesis aims to design and implement a domain-specific language (DSL) for CellDEVS using Xtext. The DSL will allow users to define CellDEVS models in a high-level, intuitive syntax. The developed language will then be translated into Python PDEVS code, automatically generating both atomic and coupled models for execution. This approach simplifies the development of CellDEVS models, making them more accessible and reducing the risk of errors in implementation.

Objectives:

• Develop a DSL using Xtext for defining CellDEVS models.
• Implement a code generator that translates the DSL into Python PDEVS code.
• Validate the DSL by executing generated models in an existing PDEVS simulation framework.
• Evaluate the usability and performance of the DSL.

Expected Outcomes:

• A functional DSL for CellDEVS modeling.
• Automatic translation of DSL specifications into executable Python PDEVS code.
• Demonstration of model execution and verification of correctness.

Student: 1

Contact:
philipp.zech@uibk.ac.at