• search hit 3 of 10
Back to Result List

Conceptual modelling: Towards detecting modelling errors in engineering applications

  • Rapid advancements of modern technologies put high demands on mathematical modelling of engineering systems. Typically, systems are no longer “simple” objects, but rather coupled systems involving multiphysics phenomena, the modelling of which involves coupling of models that describe different phenomena. After constructing a mathematical model, it is essential to analyse the correctness of theRapid advancements of modern technologies put high demands on mathematical modelling of engineering systems. Typically, systems are no longer “simple” objects, but rather coupled systems involving multiphysics phenomena, the modelling of which involves coupling of models that describe different phenomena. After constructing a mathematical model, it is essential to analyse the correctness of the coupled models and to detect modelling errors compromising the final modelling result. Broadly, there are two classes of modelling errors: (a) errors related to abstract modelling, eg, conceptual errors concerning the coherence of a model as a whole and (b) errors related to concrete modelling or instance modelling, eg, questions of approximation quality and implementation. Instance modelling errors, on the one hand, are relatively well understood. Abstract modelling errors, on the other, are not appropriately addressed by modern modelling methodologies. The aim of this paper is to initiate a discussion on abstract approaches and their usability for mathematical modelling of engineering systems with the goal of making it possible to catch conceptual modelling errors early and automatically by computer assistant tools. To that end, we argue that it is necessary to identify and employ suitable mathematical abstractions to capture an accurate conceptual description of the process of modelling engineering systems.show moreshow less

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Document Type:Article
Author: Klaus GürlebeckGND, Dmitrii LegatiukORCiDGND, Henrik Nilsson, Kay SmarslyGND
DOI (Cite-Link):https://doi.org/https://doi.org/10.1002/mma.5934Cite-Link
URN (Cite-Link):https://nbn-resolving.org/urn:nbn:de:gbv:wim2-20200110-40614Cite-Link
URL:https://onlinelibrary.wiley.com/doi/abs/10.1002/mma.5934
Parent Title (English):Mathematical Methods in Applied Sciences
Language:English
Date of Publication (online):2020/01/09
Date of first Publication:2019/12/09
Release Date:2020/01/10
Publishing Institution:Bauhaus-Universität Weimar
Institutes:Fakultät Bauingenieurwesen / Professur Angewandte Mathematik
First Page:1
Last Page:10
Tag:abstraction; engineering; formal approaches; modelling; type theory
GND Keyword:Angewandte Mathematik; Angewandte Informatik; Ingenieurwissenschaften; Modellierung
Dewey Decimal Classification:000 Informatik, Informationswissenschaft, allgemeine Werke / 000 Informatik, Wissen, Systeme
BKL-Classification:31 Mathematik / 31.80 Angewandte Mathematik
Licence (German):License Logo Creative Commons 4.0 - Namensnennung (CC BY 4.0)