Automated Consistency Checker for Multi-View Models
|
Typ | Bachelorarbeit |
|---|---|---|
| Aushang | Automated Consistency Checker.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Minakshi Kaushik (E-Mail: minakshi.kaushik@kit.edu) |
Motivation
In modern system and software engineering, complex systems are described using multiple models representing different views (e.g., structure, behavior, requirements). Maintaining consistency across these views is a major challenge, as inconsistencies can lead to errors, miscommunication, or integration problems. An automated consistency checker provides a practical way to detect such inconsistencies quickly and reliably, supporting developers in ensuring coherent multi-view models. This project also aligns with ongoing V-SUM research at KIT, bridging multi-view modeling and tool-supported consistency management.
Tasks
The student will analyze a set of small multi-view models and design a lightweight approach to represent the elements of each view along with their correspondences. They will implement an automated consistency checker, capable of detecting missing correspondences, conflicting attributes, and inconsistent relationships between model elements. The student will also generate clear reports of detected inconsistencies and will test and evaluate the tool on a small case study, documenting the results.
Benefits
- Gain hands-on experience in multi-view modeling, automated analysis, and prototype development.
- Learn basic consistency-checking methods and tool support.
- Opportunity to contribute to active research at KIT.