THEORIES OF DISCRETE EVENT MODEL ABSTRACTION

It is known in systems science that many consistent models at different levels of detail exist for a given modellee. Model abstraction is concerned with identifying relationships between such models and with processes of deriving more abstract ones from more detailed ones. This article critically examines possibilities for a formal basis of model abstraction and possibilities for procedures to perform model abstrac-