At the time of writing, the next major version of the Unified Modeling Language, UML 2.0, is being finalized. In this chapter, we shortly sketch how to accommodate the changes from the current version, UML 1.5, with respect to the approach proposed in this book. A good introduction to UML 2.0 and a list of the changes between the different UML versions is contained in [Fow04].

Most changes do not have a significant impact on our approach: For example, object diagrams, which already exist in UML 1.5, are in UML 2.0 more explicitly defined. In UML 1.5, packages can be contained in class diagrams, while in UML 2.0 such diagrams are now independently named as package diagrams. The UML 1.5 collaboration diagrams are called communication diagrams in UML 2.0. The UML 2.0 interaction overview diagrams are a new kind of diagram integrating activity and sequence diagrams. - While in UML 1.5, the activities in activity diagrams can already be defined using other diagrams, such as sequence diagrams, this link can be made more explicitly in UML 2.0 by actually including the sequence diagrams in the respective activity states. Timing diagrams are a kind of diagram which is entirely new to UML with version 2.0. These diagrams, which will be familiar to many hardware engineers from electronic engineering, do not seem to be particularly specific to secure software...