Towards a formal specification of multi-paradigm modelling

Moussa Amrani; Dominique Blouin; Robert Heinrich; Arend Rensink; Hans Vangheluwe; Andreas Wortmann

doi:10.1109/MODELS-C.2019.00067

Towards a formal specification of multi-paradigm modelling

Moussa Amrani
, Dominique Blouin
, Robert Heinrich
, Arend Rensink
, Hans Vangheluwe
, Andreas Wortmann

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

11 Citations (Scopus)

47 Downloads (Pure)

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

Original language	English
Title of host publication	Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
Editors	Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel
Publisher	IEEE
Pages	419-424
Number of pages	6
ISBN (Electronic)	978-1-7281-5125-0
DOIs	https://doi.org/10.1109/MODELS-C.2019.00067
Publication status	Published - Sept 2019
Event	22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2019 - Munich, Germany Duration: 15 Sept 2019 → 20 Sept 2019 Conference number: 22

Conference

Conference	22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2019
Abbreviated title	MODELS 2019
Country/Territory	Germany
City	Munich
Period	15/09/19 → 20/09/19

Keywords

2024 OA procedure
Formalisation
Model Driven Engineering
Multi Paradigm
Cyber Physical Systems

Access to Document

10.1109/MODELS-C.2019.00067

08904740Final published version, 213 KBLicence: Taverne

Cite this

Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H., & Wortmann, A. (2019). Towards a formal specification of multi-paradigm modelling. In L. Burgueño, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Engels, & G. Kappel (Eds.), Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 (pp. 419-424). Article 8904740 IEEE. https://doi.org/10.1109/MODELS-C.2019.00067

Amrani, Moussa ; Blouin, Dominique ; Heinrich, Robert et al. / Towards a formal specification of multi-paradigm modelling. Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. editor / Loli Burgueño ; Alexander Pretschner ; Sebastian Voss ; Michel Chaudron ; Jörg Kienzle ; Markus Völter ; Sébastien Gérard ; Mansooreh Zahedi ; Erwan Bousse ; Arend Rensink ; Fiona Polack ; Gregor Engels ; Gerti Kappel. IEEE, 2019. pp. 419-424

@inproceedings{affde8052816427eb98ac6b0426b24e9,

title = "Towards a formal specification of multi-paradigm modelling",

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",

keywords = "2024 OA procedure, Formalisation, Model Driven Engineering, Multi Paradigm, Cyber Physical Systems",

author = "Moussa Amrani and Dominique Blouin and Robert Heinrich and Arend Rensink and Hans Vangheluwe and Andreas Wortmann",

year = "2019",

month = sep,

doi = "10.1109/MODELS-C.2019.00067",

language = "English",

pages = "419--424",

editor = "Loli Burgue{\~n}o and Alexander Pretschner and Sebastian Voss and Michel Chaudron and J{\"o}rg Kienzle and Markus V{\"o}lter and S{\'e}bastien G{\'e}rard and Mansooreh Zahedi and Erwan Bousse and Arend Rensink and Fiona Polack and Gregor Engels and Gerti Kappel",

booktitle = "Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019",

publisher = "IEEE",

address = "United States",

note = "22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2019, MODELS 2019 ; Conference date: 15-09-2019 Through 20-09-2019",

}

Amrani, M, Blouin, D, Heinrich, R, Rensink, A, Vangheluwe, H & Wortmann, A 2019, Towards a formal specification of multi-paradigm modelling. in L Burgueño, A Pretschner, S Voss, M Chaudron, J Kienzle, M Völter, S Gérard, M Zahedi, E Bousse, A Rensink, F Polack, G Engels & G Kappel (eds), Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019., 8904740, IEEE, pp. 419-424, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2019, Munich, Germany, 15/09/19. https://doi.org/10.1109/MODELS-C.2019.00067

Towards a formal specification of multi-paradigm modelling. / Amrani, Moussa; Blouin, Dominique; Heinrich, Robert et al.
Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. ed. / Loli Burgueño; Alexander Pretschner; Sebastian Voss; Michel Chaudron; Jörg Kienzle; Markus Völter; Sébastien Gérard; Mansooreh Zahedi; Erwan Bousse; Arend Rensink; Fiona Polack; Gregor Engels; Gerti Kappel. IEEE, 2019. p. 419-424 8904740.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

N1 - Conference code: 22

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 - 2024 OA procedure

KW - Formalisation

KW - Model Driven Engineering

KW - Multi Paradigm

KW - Cyber Physical Systems

UR - https://www.scopus.com/pages/publications/85075937334

U2 - 10.1109/MODELS-C.2019.00067

DO - 10.1109/MODELS-C.2019.00067

M3 - Conference contribution

AN - SCOPUS:85075937334

SP - 419

EP - 424

BT - Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019

A2 - Burgueño, Loli

A2 - Pretschner, Alexander

A2 - Voss, Sebastian

A2 - Chaudron, Michel

A2 - Kienzle, Jörg

A2 - Völter, Markus

A2 - Gérard, Sébastien

A2 - Zahedi, Mansooreh

A2 - Bousse, Erwan

A2 - Rensink, Arend

A2 - Polack, Fiona

A2 - Engels, Gregor

A2 - Kappel, Gerti

PB - IEEE

T2 - 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2019

Y2 - 15 September 2019 through 20 September 2019

ER -

Amrani M, Blouin D, Heinrich R, Rensink A, Vangheluwe H, Wortmann A. Towards a formal specification of multi-paradigm modelling. In Burgueño L, Pretschner A, Voss S, Chaudron M, Kienzle J, Völter M, Gérard S, Zahedi M, Bousse E, Rensink A, Polack F, Engels G, Kappel G, editors, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. IEEE. 2019. p. 419-424. 8904740 doi: 10.1109/MODELS-C.2019.00067

Towards a formal specification of multi-paradigm modelling

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this