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 (![[PDF]](/images/buttons/pdf.png)
[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]
).
![[SVG]](poster/plakat_a4.svg){kind=link}
![[PNG]](poster/plakat_a4.png){kind=link}