Abstract
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).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amalio, N., de Lara, J., Guerra, E.: FRAGMENTA: a theory of fragmentation for MDE. In: MODELS, pp. 106–115. IEEE (2015)
Barroca, B., Mustafiz, S., Mierlo, S.V., Vangheluwe, H.: Integrating a neutral action language in a DEVS modelling environment. In: SIMUTOOLS, pp. 19–28. ACM (2015)
Boulanger, F., Hardebolle, C., Jacquet, C., Marcadet, D.: Semantic adaptation for models of computations. In: ACSD, pp. 153–162. IEEE (2011)
de Lara, J., Guerra, E., J. Sánchez-Cuadrado, J.: Abstracting modelling languages: a reutilization approach. In: CAiSE, pp. 127–143. Springer (2012)
Degueule, T., Combemale, B., Blouin, A., Barais, O., Jézéquel, J.-M.: Melange: A meta-language for modular and reusable development of DSLs. In: SLE 2015, pp. 25–36. ACM (2015)
Denckla, B., Mosterman, P.: Formalizing causal block diagrams for modeling a class of hybrid dynamic systems. In: CDC-ECC 2005, pp. 4193–4198 (2005)
Denil, J., Meyers, B., De Meuleneare, P., Vangheluwe, H.: Explicit semantic adaptation of hybrid formalisms for FMI co-simulation. In: TMS/DEVS 2015, pp. 852–859. SCS International (2015)
Kats, L.C., Visser, E.: The spoofax language workbench: Rules for declarative specification of languages and IDEs. SIGPLAN Not. 45(10), 444–463 (2010)
Krahn, H., Rumpe, B., Völkel, S.: Monticore: a framework for compositional development of domain specific languages. Journal on STTT 12(5), 353–372 (2010)
Lacoste-Julien, S., Vangheluwe, H., Lara, J.D., Mosterman, P.J.: Meta-modelling hybrid formalisms. In: CACSD, pp. 65–70. IEEE (2004)
Meyers, B., Denil, J., Boulanger, F., Hardebolle, C., Jacquet, C., Vangheluwe, H.: A DSL for explicit semantic adaptation. In: 7th Workshop on Multi-Paradigm Modelling, MoDELS 2013, pp. 47–56 (2013)
Mierlo, S.V., Barroca, B., Vangheluwe, H., Syriani, E., Kühne, T.: Multi-level modelling in the modelverse. In: Workshop on Multi-Level Modelling, MoDELS, pp. 83–92 (2014)
Mosterman, P.J.: An overview of hybrid simulation phenomena and their support by simulation packages. In: Hybrid Systems: Computation and Control. LNCS, vol. 1569, pp. 165–177. Springer (1999)
Pedro, L., Amaral, V., Buchs, D.: Foundations for a domain specific modeling language prototyping environment: a compositional approach. In: 8th OOPSLA Workshop on Domain-Specific Modeling (DSM), October 2008
Schöttle, M., Alam, O., Ayed, A., Kienzle, J.: Concern-oriented software design with TouchRAM. In: MODELS 2013, pp. 51–55 (2013)
Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Mierlo, S.V., Ergin, H.: AToMPM: a web-based modeling environment. In: MODELS 2013 Demonstrations (2013)
Vangheluwe, H., Denil, J., Mustafiz, S., Riegelhaupt, D., Van Mierlo, S.: Explicit modelling of a CBD experimentation environment. In: TMS/DEVS 2014, pp. 13:1–13:8. SCS International (2014)
Völter, M., Visser, E.: Language extension and composition with language workbenches. In: OOPSLA 2010 Companion, pp. 301–304. ACM (2010)
Wende, C., Thieme, N., Zschaler, S.: A role-based approach towards modular language engineering. In: SLE 2010, pp. 254–273. Springer (2010)
Ẑivković, S., Karagiannis, D.: Towards metamodelling-in-the-large: interface-based composition for modular metamodel development. In: Enterprise, Business-Process and Information Systems Modeling, pp. 413–428. Springer (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Mustafiz, S., Barroca, B., Gomes, C., Vangheluwe, H. (2016). Towards Modular Language Design Using Language Fragments: The Hybrid Systems Case Study. In: Latifi, S. (eds) Information Technology: New Generations. Advances in Intelligent Systems and Computing, vol 448. Springer, Cham. https://doi.org/10.1007/978-3-319-32467-8_68
Download citation
DOI: https://doi.org/10.1007/978-3-319-32467-8_68
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32466-1
Online ISBN: 978-3-319-32467-8
eBook Packages: EngineeringEngineering (R0)