Foliensätze
- Casjen Schnars - UML-Tools [PDF]
- Eike Frost - XMI Theorie & Praxis [PDF]
- Roland Meyer - Petri-Netze, Anwendungen & Tools [PDF]
- Martin Hilscher - 3D Simulationen [PDF]
- Tim Strazny - SDL [PDF]
- André Kaiser - Statecharts in UML [PDF]
- Ulrik Schrimpf - Message Sequence Charts [PDF]
Weiterführende Links zu den Themen
- UML Überblick, MDA, Tools: OMG, MDA bei der OMG, Tools für UML und Lehrbücher
- XMI und Implementierungen: auch OMG und Lehrbücher
- Petrinetze: PEP Publikationen, World of Petri Nets und Lehrbücher
- 3D-Simulatoren: PEPs 3D-Simulator, 3D-Simulation des Petri-Net-Kernel
- Activity Diagrams: Gehrke, Goltz, Wehrheim: The Dynamic Models of UML: Towards a Semantics and its Application in the Development Process (1998)
Rik Eshuis, Roel Wieringa: A Comparison of Petri Net and Activity Diagram Variants
Harald Störrle: Semantics of UML 2.0 Activities with Data-Flow - MSCs: Stefan Heymer: A Semantics for MSC based on Petri-Net Components (2000)
SDL-Forum und das Buch M.A. Reniers: Message Sequence Charts - State Charts: Saldhana, Shatz: UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis (2000)
D. Latella, I. Majzik, and M. Massink. Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
Holzmann et al.:Implementing Statecharts in Promela/Spin (1998) (ohne Petrinetze, aber u.U. hilfreich)
Lilius, Porres: vUML: a Tool for Verifying UML Models (1999) - SDL: PEP Paper zu SDL,
SDL-Forum und das Buch von L. Doldi. - Use Case Maps: Amyot, Mussbacher: On the Extension of UML with Use Case Maps Concepts (2000)
und das Use Case Maps Portal
