DanC: ooh! "Description of the UML notation with examples" and "Description of the formal metamodel that is the foundation of the UML's semantics; the metamodel is presented in UML notation"
DanC: abstract "We show how to transform UML state diagrams into graphs by making explicit the intended semantics of the diagram."
DanC: I'm not really interested in state diagrams just now, I guess.
DanC: I'm not really interested in state diagrams just now, I guess.