References

A database of related references and background materiel is being maintained. The references are broken down into several categories (with some potential overlap):

• Action Semantics
• Class Diagrams
• Classical Statecharts
• MDA and UML
• MDD
• Modelling Behaviour
• Model Management and Metamodelling
• Stream Processing
• Software Engineering
• UML 2 Semantics
• UML Interactions
• UML State Machines

You can also see a full list of all references.

For another perspective, the following image places the concept of building formal semantics for UML 2 in a broader context. In addition, it groups our references into the categories shown in the figure. To navigate to a particular list of references, simply click on the related box. Note: only the shaded boxes have references currently associated with them.