A Semantic Model for Dynamic Systems