Mappings between different formalisms are discussed in this chapter.
Mapping from DCharts to another formalism proves that DCharts have at most as much power as that formalism. This mapping provides a means to express the behavior of any DCharts model in the other formalism. The denotational semantics of DCharts is defined in this way. (The semantics discussed in previous chapters is operational semantics.) Few formalisms allow recursion in the model structure. It is impossible to map the complete DCharts formalism to them. Recursive importation is not considered in the mappings from DCharts to other formalisms discussed in this chapter.
Mapping from another formalism to DCharts proves that DCharts have at least as much power as the formalism. It provides a means to express the behavior of any model in the other formalism with DCharts.