The project group has submitted a paper for the Twelfth SDL Forum which was presented there on
06/21/05. This paper introduces formal semantics for UML 2.0 sequence diagrams based on petri nets.
At the conference, the project group showcased the tool it developed at a
booth. A poster ([SVG][PNG]) was created to display the main aspects thereof.
Furthermore, a movie ([WMV][MPEG]) displaying
the animation of a sample sequence diagram was created, as well.
The presentation slides are available as well. ([SXI]