Our paper Model-Driven Data Contracts for Digital Twin Services, co-authored with Philipp Zech (University of Innsbruck, Austria) has been accepted for the New Ideas and Emerging Results track of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS NIER).
MODELS is a CORE A-ranked conference, the flagship event of the model-driven engineering community. It is always an honor and a special kind of joy to have a manuscript accepted here. The NIER track provides a forum for visionary, thought-provoking, and forward-looking research in the field of model-driven engineering (MDE), and showcases novel ideas and innovative approaches that have the potential to shape the future of the discipline.
Preprint available here: https://arxiv.org/abs/2607.28803.
Abstract. Digital Twins (DT) integrate data from multiple sources. Models consume data and enable DT services such as simulations, what-if analyses, and ML-driven predictions. To ensure proper DT operation, data-driven services require data to exhibit traits such as reliability and high quality (including, e.g., accuracy, completeness, and timeliness). Yet, there is no systematic way to specify data requirements at the model level, and subsequently enact those specifications at runtime. To address this shortcoming, we propose an approach to contract-based quality management in DTs. We formally define a theory of such contracts, situate them architectually within DTs, and propose a domain-specific language to specify contracts. Our approach enables continuous data quality monitoring, thereby improving the reliability and quality of DT services..