TY - JOUR A1 - Smarsly, Kay A1 - Hartmann, Timo A1 - Rüppel, Uwe A1 - König, Markus ED - Smarsly, Kay T1 - Positionspapier des Arbeitskreis Bauinformatik N2 - Die Bauinformatik ist eine Säule der modernen Bau- und Umweltingenieurwissenschaften und befasst sich mit der Erforschung grundlegender informatorischer Methoden sowie mit der Anwendung und Weiterentwicklung der Informationswissenschaften im Bau- und Umweltbereich. Der Arbeitskreis Bauinformatik konstituiert sich aus Wissenschaftlern, die an Universitäten im deutschsprachigen Raum auf dem Fachgebiet Bauinformatik lehren und forschen. Ausgehend vom erreichten Entwicklungsstand der Bauinformatik skizziert dieses Positionspapier die Aufgaben des Arbeitskreises und formuliert eine Grundlage für eine abgestimmte Weiterentwicklung an den deutschsprachigen Universitäten. KW - Bauinformatik KW - Bauinformatik Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:gbv:wim2-20170523-32219 ER - TY - JOUR A1 - Gürlebeck, Klaus A1 - Legatiuk, Dmitrii A1 - Nilsson, Henrik A1 - Smarsly, Kay T1 - Conceptual modelling: Towards detecting modelling errors in engineering applications JF - Mathematical Methods in Applied Sciences N2 - 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 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. KW - Angewandte Mathematik KW - Angewandte Informatik KW - Ingenieurwissenschaften KW - Modellierung KW - engineering KW - abstraction KW - modelling KW - formal approaches KW - type theory Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:gbv:wim2-20200110-40614 UR - https://onlinelibrary.wiley.com/doi/abs/10.1002/mma.5934 SP - 1 EP - 10 ER -