Abstract modelling: towards a typed declarative language for the conceptual modelling phase

Modelling languages have become an indispensable aid to practising engineers. They offer modelling at a high level of abstraction backed by features such as automatic simulation and even derivation of production code. However, partly because of the offered automation, modelling languages are limited...

Full description

Bibliographic Details
Main Authors: Legatiuk, Dmitrii, Nilsson, Henrik
Format: Conference or Workshop Item
Language:English
Published: 2017
Online Access:http://eprints.nottingham.ac.uk/49306/
http://eprints.nottingham.ac.uk/49306/
http://eprints.nottingham.ac.uk/49306/1/eoolt2017.pdf
id nottingham-49306
recordtype eprints
spelling nottingham-493062018-02-26T11:19:14Z http://eprints.nottingham.ac.uk/49306/ Abstract modelling: towards a typed declarative language for the conceptual modelling phase Legatiuk, Dmitrii Nilsson, Henrik Modelling languages have become an indispensable aid to practising engineers. They offer modelling at a high level of abstraction backed by features such as automatic simulation and even derivation of production code. However, partly because of the offered automation, modelling languages are limited to specific application areas: to our knowledge, no modelling language supports mathematical physics modelling in its full generality. Yet, when developing large, coupled, multiphysics models, there is a clear need for such an overarching language to ensure the coherence of the model as a whole, even if submodels ultimately are realised in modelling languages targeting specific domains or are pre-existing. In prior work, it was demonstrated how treating models as abstract objects in category theory offers one way to ensure coherence of key aspects for composite models. Type theory offers complementary approaches. This paper presents a first step towards a language supporting abstract modelling in mathematical physics with the aim of ensuring coherence of coupled multiphysics models early in the design process. To that end, following the approach of Functional Hybrid Modelling (FHM), we discuss how a language supporting quite general modelling equations can be realised as an embedding in Haskell. The appeal of the proposed approach is that only very few core concepts are needed, which greatly simplifies the semantics. The appeal of an embedded realisation as such is that much of the language infrastructure comes for free. 2017-12-01 Conference or Workshop Item PeerReviewed application/pdf en http://eprints.nottingham.ac.uk/49306/1/eoolt2017.pdf Legatiuk, Dmitrii and Nilsson, Henrik (2017) Abstract modelling: towards a typed declarative language for the conceptual modelling phase. In: 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2017), 1 December 2017, Weßling, Germany. https://dl.acm.org/citation.cfm?doid=3158191.3158202
repository_type Digital Repository
institution_category Local University
institution University of Nottingham Malaysia Campus
building Nottingham Research Data Repository
collection Online Access
language English
description Modelling languages have become an indispensable aid to practising engineers. They offer modelling at a high level of abstraction backed by features such as automatic simulation and even derivation of production code. However, partly because of the offered automation, modelling languages are limited to specific application areas: to our knowledge, no modelling language supports mathematical physics modelling in its full generality. Yet, when developing large, coupled, multiphysics models, there is a clear need for such an overarching language to ensure the coherence of the model as a whole, even if submodels ultimately are realised in modelling languages targeting specific domains or are pre-existing. In prior work, it was demonstrated how treating models as abstract objects in category theory offers one way to ensure coherence of key aspects for composite models. Type theory offers complementary approaches. This paper presents a first step towards a language supporting abstract modelling in mathematical physics with the aim of ensuring coherence of coupled multiphysics models early in the design process. To that end, following the approach of Functional Hybrid Modelling (FHM), we discuss how a language supporting quite general modelling equations can be realised as an embedding in Haskell. The appeal of the proposed approach is that only very few core concepts are needed, which greatly simplifies the semantics. The appeal of an embedded realisation as such is that much of the language infrastructure comes for free.
format Conference or Workshop Item
author Legatiuk, Dmitrii
Nilsson, Henrik
spellingShingle Legatiuk, Dmitrii
Nilsson, Henrik
Abstract modelling: towards a typed declarative language for the conceptual modelling phase
author_facet Legatiuk, Dmitrii
Nilsson, Henrik
author_sort Legatiuk, Dmitrii
title Abstract modelling: towards a typed declarative language for the conceptual modelling phase
title_short Abstract modelling: towards a typed declarative language for the conceptual modelling phase
title_full Abstract modelling: towards a typed declarative language for the conceptual modelling phase
title_fullStr Abstract modelling: towards a typed declarative language for the conceptual modelling phase
title_full_unstemmed Abstract modelling: towards a typed declarative language for the conceptual modelling phase
title_sort abstract modelling: towards a typed declarative language for the conceptual modelling phase
publishDate 2017
url http://eprints.nottingham.ac.uk/49306/
http://eprints.nottingham.ac.uk/49306/
http://eprints.nottingham.ac.uk/49306/1/eoolt2017.pdf
first_indexed 2018-09-06T14:05:45Z
last_indexed 2018-09-06T14:05:45Z
_version_ 1610867273774399488