Implementing the Behavioral Semantics of Diagrammatic Languages by Co-simulation

Daniel-Cristian Craciunean
2020 International Journal of Advanced Computer Science and Applications  
Due to the multidisciplinary nature of cyberphysical 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
more » ... n 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.
doi:10.14569/ijacsa.2020.0110964 fatcat:34mksogxwzhidmne6ejt4eadzi