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

General form #10

Closed ugeorge closed 8 years ago

ugeorge commented 8 years ago

The branch general-form comprises of all efforts to reach the most generalized format for atoms and the most independent from 3rd party libraries or language extensions. To my knowledge up to date, all known MoCs should be able to be implemented as special case instantiations of the current MoC class.

Although the current implementation of the MoC class furthers away from the initial formal description, all the practical design decisions have a formal equivalent and can be justified by either the host language features/limitations or the inherited execution semantics (e.g. the concepts of partitions or execution environment).