We consider the problem of incremental cycle analysis for dataflow models in
the Embedded Systems Modeling Language (ESMoL). We give a general form of a
cycle enumeration algorithm that makes use of graph hierarchy to improve
analysis efficiency. Our framework also stores simple connectivity information
in the model to accelerate future cycle analyses when additional components
are added or modifications are made. Finally we give a mapping from a term
algebraic model of the ESMoL component model and logical dataflow sublanguages