Abstract: Due to the multidisciplinary nature of cyber-physical systems, it is impossible for an existing modeling language to be used effectively in all cases. For this reason, the development of domain-specific modeling languages is beginning to become an integral part of the modeling process. This diversification of modeling languages often implies the need to co-simulate subsystems in order to obtain the effect of a complete system. This paper presents how behavioral semantics of a diagrammatic DSML can be implemented by co-simulation. For the formal specification of the language we used mechanisms from the category theory. To specify behavioral semantics, we introduced the notion of behavioral rule as an aggregation between a graph transformation and a behavioral action. The paper also contains a relevant example and demonstrates that the implementation of behavioral semantics of a diagrammatic model can be achieved by co-simulating standalone FMUs associated to behavioral rules.

Daniel-Cristian Craciunean, “Implementing the Behavioral Semantics of Diagrammatic Languages by Co-simulation” International Journal of Advanced Computer Science and Applications(IJACSA), 11(9), 2020. http://dx.doi.org/10.14569/IJACSA.2020.0110964

@article{Craciunean2020,
title = {Implementing the Behavioral Semantics of Diagrammatic Languages by Co-simulation},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2020.0110964},
url = {http://dx.doi.org/10.14569/IJACSA.2020.0110964},
year = {2020},
publisher = {The Science and Information Organization},
volume = {11},
number = {9},
author = {Daniel-Cristian Craciunean}
}