Designing a Domain-Specific Language (DSL) for Consistency Preservation Triggers
|
Typ | Masterarbeit |
|---|---|---|
| Aushang | MasterThesis DSL-Triggers V2.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Raziyeh Dehghani (E-Mail: raziyeh.dehghani@kit.edu) |
Motivation
In cyber-physical systems, ensuring consistency across various model-based components is vital for maintaining system integrity. Triggers are key tools in this process, as they help identify when and where inconsistencies may arise. An example of such triggers is the commitment of validation results, which can help signal potential issues. However, conventional inconsistency signals are often triggered prematurely, creating unnecessary or distracting alerts that disrupt efficient development workflows. To overcome this challenge, a specialized domain-specific language (DSL) is needed to design precise, context-aware triggers. Such a DSL would allow for the customization of triggers tailored to specific domain requirements, enabling timely and relevant inconsistency management without overwhelming engineers with false alerts.
Tasks
- Research DSL Constructs for Triggers: Study commonly available triggers, even those not specifically focused on consistency preservation, to identify useful constructs for a DSL that supports context-aware consistency management.
- Investigate Trigger Configuration Mechanisms: Explore methods for configuring, activating, and deactivating triggers dynamically based on validation results, model states, and other specified conditions.
- Implement the DSL and Integrate with Modeling Platform: Develop the DSL and integrate it with a modeling platform (EMF) to enable practical, model-based consistency preservation.
Benefits
- Working with cutting-edge and innovative technologies
- Close connection to on-going/current research project
- Excellent working environment and intensive support