Definition of the System Model

This chapter is devoted to the definition of a system model tailored towards UML. The hierarchy of theories that compose the system model is stepwise introduced. These theories are combined into a theory of sophisticated state transition systems. The semantics of a word in a UML sublanguage, i.e., a diagram, can then be defined by a set of such transition systems. Given two or more actual diagrams, possibly forming a complete UML model, the semantics of them together is defined by the intersection of their translations into the system model. In other words, consistency of a model is defined by non-empty intersection of the sets containing the transition systems that implement the diagrams individually.