Название: Modelling to Program: Second International Workshop
Автор: Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim
Издательство: Springer
Год: 2021
Страниц: 243
Язык: английский
Формат: epub
Размер: 20.2 MB

This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.

Programming has become a technique for everybody, especially for non-computer scientists. Programs have become an essential part of modern infrastructure. Programming is nowadays a socio-material practice fundamental to the disciplines of science and engineering. Programs of the future must be understandable by all parties involved, must be accurate and precise enough for the task they support, and must support reasoning and controlled realisation and evolution at all levels of abstraction.

The workshop discusses novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and conceptual-model programming and their future developments. In future, application engineers and scientists are going to develop and to use models instead of programming in the old style. A model may combine several facets at the same time and may thus have a structure where some facets support specific purposes and functions.

A model is a well-formed, adequate, and dependable instrument that represents origins and that functions in utilisation scenarios. Its criteria of well-formedness, adequacy, and dependability must be commonly accepted by its CoP within some context and correspond to the functions that a model fulfils in utilisation scenarios. The model should be well formed according to some well-formedness criterion. As an instrument or more specifically an artefact a model comes with a background that is often given only in an implicit and hidden form and not explicitly explained.

The list of workshop topics includes:

• notions of models that can be understood and used as programs,
• models-at-runtime,
• advanced conceptual modelling,
• conceptual-model programming,
• modelling foundation,
• transformation of models to programs,
• model suites/ensembles for programmers,
• modelling as the first step to programming and its revisions,
• advanced model-driven programming and software modernisation,
• modelling in applications.