Convide Meeting in Dresden

As part of Convide‘s on-going work on consistency in software modeling, a team of Karlsruhe-based researchers recently met with colleagues in Dresden to discuss the role of constraint languages in heterogeneous modeling systems. The meeting focused on the question of how constraints can serve as a unifying mechanism across modeling languages and viewpoints, supporting consistency management in complex and evolving models.

Discussions explored the integration of constraint languages with version and variant management, uncertainty, and their potential to act as a foundation for logic-reactive programming systems in view-based modeling. These ideas open promising directions for expressing and analyzing consistency across diverse models and development stages.

First and foremost, the meeting strengthened a shared perspective on constraints as a key enabler for scalable, consistency-aware modeling and provides valuable input for future research and tooling.

We would like to sincerely thank our hosts for their generous hospitality in Dresden.