Topological dynamical systems (X, T) are actions $$T\,{ \times }\, X \rightarrow X$$ , given as $$(t, x) \mapsto tx$$ on a compact Hausdorff topological space with T an acting group or monoid. We consider the property of transitivity especially for semiflows S) and discuss variations in its definitions. emphasize those properties that differ compared to flows (semi)cascades.

Usually, enterprise models consider different aspects and include different abstraction levels of enterprises. The application of ontologies as conceptual bases that can clarify relations within and between these abstraction levels is believed to be helpful. This paper investigates the use of ontologies for formalizing enterprise modelling languages and enriching their semantics. The aim is to ...