Towards a formal specification of multi-paradigm modelling

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

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

langue originaleAnglais
titreProceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
rédacteurs en chefLoli 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
EditeurInstitute of Electrical and Electronics Engineers Inc.
Pages419-424
Nombre de pages6
ISBN (Electronique)9781728151250
ISBN (imprimé)9781728151267
Les DOIs
Etat de la publicationPublié - sept. 2019
Evénement22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 - Munich, Allemagne
Durée: 15 sept. 201920 sept. 2019

Série de publications

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

Une conférence

Une conférence22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019
PaysAllemagne
La villeMunich
période15/09/1920/09/19

Empreinte digitale

Examiner les sujets de recherche de « Towards a formal specification of multi-paradigm modelling ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation