TY - GEN
T1 - Towards a formal specification of multi-paradigm modelling
AU - Amrani, Moussa
AU - Blouin, Dominique
AU - Heinrich, Robert
AU - Rensink, Arend
AU - Vangheluwe, Hans
AU - Wortmann, Andreas
PY - 2019/9
Y1 - 2019/9
N2 - 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
AB - 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
KW - Cyber Physical Systems
KW - Formalisation
KW - Model Driven Engineering
KW - Multi Paradigm
UR - http://www.scopus.com/inward/record.url?scp=85075937334&partnerID=8YFLogxK
U2 - 10.1109/models-c.2019.00067
DO - 10.1109/models-c.2019.00067
M3 - Conference contribution
SN - 9781728151267
T3 - Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
SP - 419
EP - 424
BT - Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
A2 - Burgueno, Loli
A2 - Burgueno, Loli
A2 - Pretschner, Alexander
A2 - Voss, Sebastian
A2 - Chaudron, Michel
A2 - Kienzle, Jorg
A2 - Volter, Markus
A2 - Gerard, Sebastien
A2 - Zahedi, Mansooreh
A2 - Bousse, Erwan
A2 - Rensink, Arend
A2 - Polack, Fiona
A2 - Engels, Gregor
A2 - Kappel, Gerti
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
Y2 - 15 September 2019 through 20 September 2019
ER -