Towards a formal specification of multi-paradigm modelling

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 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
PublisherIEEE
Pages419-424
Number of pages6
ISBN (Electronic)978-1-7281-5125-0
DOIs
Publication statusPublished - Sep 2019
Event22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2019 - Munich, Germany
Duration: 15 Sep 201920 Sep 2019
Conference number: 22

Conference

Conference22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2019
Abbreviated titleMODELS 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