Towards a formal specification of multi-paradigm modelling

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationProceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
EditorsLoli Burgueno, Loli Burgueno, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jorg Kienzle, Markus Volter, Sebastien Gerard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages419-424
Number of pages6
ISBN (Electronic)9781728151250
ISBN (Print)9781728151267
DOIs
Publication statusPublished - Sep 2019
Event22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 - Munich, Germany
Duration: 15 Sep 201920 Sep 2019

Publication series

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

Conference

Conference22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
CountryGermany
CityMunich
Period15/09/1920/09/19

Keywords

  • Cyber Physical Systems
  • Formalisation
  • Model Driven Engineering
  • Multi Paradigm

Fingerprint Dive into the research topics of 'Towards a formal specification of multi-paradigm modelling'. Together they form a unique fingerprint.

  • 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. Burgueno, L. Burgueno, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Volter, S. Gerard, 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). [8904740] (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/MODELS-C.2019.00067