Towards a Formal Specification of Multi-paradigm Modelling

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

[1]  Hans Vangheluwe,et al.  The FTG+PM framework for multi-paradigm modelling: an automotive case study , 2012, MPM '12.

[2]  Hans Vangheluwe,et al.  A multi-paradigm modeling and simulation methodology: formalisms and languages , 1996 .

[3]  Juan de Lara,et al.  A Posteriori Typing for Model-Driven Engineering , 2017, ACM Trans. Softw. Eng. Methodol..

[4]  Gerti Kappel,et al.  Reuse in model-to-model transformation languages: are we there yet? , 2013, Software & Systems Modeling.

[5]  Rick Salay,et al.  Using Macromodels to Manage Collections of Related Models , 2009, CAiSE.

[6]  H. Vangheluwe,et al.  The Formalism Transformation Graph as a Guide to Model Driven Engineering , 2012 .

[7]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[8]  Hans Vangheluwe,et al.  Simulation for the future: progress of the Esprit Basic Research Working Group 8467 , 1996 .

[9]  Jürgen Dingel,et al.  Model transformation intents and their properties , 2016, Software & Systems Modeling.

[10]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Contracts for System Design , 2018, Found. Trends Electron. Des. Autom..

[12]  Hans Vangheluwe,et al.  FTG+PM: An Integrated Framework for Investigating Model Transformation Chains , 2013, SDL Forum.

[13]  Olivier Barais,et al.  Safe model polymorphism for flexible modeling , 2017, Comput. Lang. Syst. Struct..

[14]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[15]  Francisco Durán,et al.  On the Reusable Specification of Non-functional Properties in DSLs , 2012, SLE.

[16]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .