|
Title
|
|
|
|
Towards a Formal Specification of Multi-Paradigm Modelling
| |
|
Author
|
|
|
|
| |
|
Abstract
|
|
|
|
| The notion of a programming paradigm is used to classify programming languages and their accompanying workflows based on their salient features. Similarly, the notion of a modelling paradigm can be used to characterise the plethora of modelling approaches used to engineer complex Cyber-Physical Systems (CPS). Modelling paradigms encompass formalisms, abstractions, workflows and supporting tool(chain)s. A precise definition of this modelling paradigm notion is lacking however. Such a definition will increase insight, will allow for formal reasoning about the consistency of modelling frameworks and may serve as the basis for the construction of new modelling, simulation, verification, synthesis, ...environments to support design of CPS. We present a formal framework aimed at capturing the notion of modelling paradigm, as a first step towards a comprehensive formalisation of multi-paradigm modelling. Our formalisation is illustrated by CookieCAD, a simple Computer-Aided Design paradigm used in the development of cookie stencils. |
| |
|
Language
|
|
|
|
English
| |
|
Source (journal)
|
|
|
|
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING
LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019)
| |
|
Source (book)
|
|
|
|
ACM/IEEE 22nd International Conference on Model Driven Engineering, Languages and Systems Companion (MODELS-C), SEP 15-20, 2019, Munich, GERMANY
| |
|
Publication
|
|
|
|
Los alamitos
:
Ieee computer soc
,
2019
| |
|
ISBN
|
|
|
|
978-1-72815-125-0
| |
|
DOI
|
|
|
|
10.1109/MODELS-C.2019.00067
| |
|
Volume/pages
|
|
|
|
(2019)
, p. 419-424
| |
|
ISI
|
|
|
|
000521634200056
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|