< Terug naar vorige pagina


Towards modular language design using language fragments

Boekbijdrage - Boekabstract Conferentiebijdrage

Ondertitel: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. In this paper, we present a technique for the composition of heterogeneous languages by explicitly modelling the semantic adaptation between them. Each modelling language is represented as a language specification fragment (LSF): a modular representation of the syntax and semantics. The basis of our technique is to reuse the operational semantics as defined in existing simulators. Our approach is demonstrated by means of a hybrid language composed of timed finite state machines (TFSA) and causal block diagrams (CBD).
Boek: 13th International Conference on Information Technology - New, Generations (ITNG), APR 11-13, 2016, Las Vegas, NV
Pagina's: 785 - 797
Jaar van publicatie:2016
Authors from:Higher Education