forsyde / forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems
https://forsyde.github.io/forsyde-atom/
BSD 3-Clause "New" or "Revised" License
3 stars 2 forks source link

Force separation between MoC and Behavior layer #24

Closed ugeorge closed 7 years ago

ugeorge commented 7 years ago

As MoC atoms' type signature shows, there is a dependency that forces Behavior atoms to situate exactly under MoC atoms. While this is a natural way of viewing systems, this does not fit well with the "separation of concerns" that forsyde-atom is trying to promote. The possibility of complete decoupling these two layers needs to be studied.