Implementing the Behavioral Semantics of Diagrammatic Languages by Co-simulation

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.

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