Towards Modular Language Design Using Language Fragments: The Hybrid Systems Case Study

Cyber-physical systems can be best represented using hybrid models that contain specifications of both continuous and discrete event abstractions. The syntax and semantics of such hybrid languages should ideally be defined by reusing the syntax and semantics of each components’ formalisms. In language composition, semantic adaptation is needed to ensure correct realization of the concepts that are part of the intricacies of the hybrid language.

[1]  Hans Vangheluwe,et al.  Integrating a neutral action language in a DEVS modelling environment , 2015, SimuTools.

[2]  Christophe Jacquet,et al.  Semantic Adaptation for Models of Computation , 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.

[3]  Juan de Lara,et al.  Abstracting Modelling Languages: A Reutilization Approach , 2012, CAiSE.

[4]  Bart Meyers,et al.  A DSL for Explicit Semantic Adaptation , 2013, MPM@MoDELS.

[5]  Eelco Visser,et al.  The spoofax language workbench: rules for declarative specification of languages and IDEs , 2010, OOPSLA.

[6]  Hans Vangheluwe,et al.  Explicit modelling of a CBD experimentation environment , 2014, SpringSim.

[7]  Juan de Lara,et al.  Fragmenta: A theory of fragmentation for MDE , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[8]  Hans Vangheluwe,et al.  AToMPM: A Web-based Modeling Environment , 2013, MoDELS.

[9]  Luis Pedro.  Foundations for a Domain Specific Modeling Language Prototyping Environment A compositional approach , 2008 .

[10]  Hans Vangheluwe,et al.  Multi-level modelling in the Modelverse , 2014, MULTI@MoDELS.

[11]  Bart Meyers,et al.  Explicit semantic adaptation of hybrid formalisms for FMI co-simulation , 2015, SpringSim.

[12]  P.J. Mosterman,et al.  Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[13]  Steffen Zschaler,et al.  A Role-Based Approach towards Modular Language Engineering , 2009, SLE.

[14]  Matthias Schöttle,et al.  Concern-Oriented Software Design with TouchRAM , 2013, Demos/Posters/StudentResearch@MoDELS.

[15]  Eelco Visser,et al.  Language extension and composition with language workbenches , 2010, SPLASH/OOPSLA Companion.

[16]  Olivier Barais,et al.  Melange: a meta-language for modular and reusable development of DSLs , 2015, SLE.

[17]  Dimitris Karagiannis,et al.  Towards Metamodelling-In-The-Large: Interface-Based Composition for Modular Metamodel Development , 2015, BMMDS/EMMSAD.

[18]  Pieter J. Mosterman,et al.  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.

[19]  Bernhard Rumpe,et al.  MontiCore: a framework for compositional development of domain specific languages , 2010, International Journal on Software Tools for Technology Transfer.