Can I read Formal Transformation From UML Sequence Diagrams To Queueing Petri Nets on EtoBox?

Formal Transformation From UML Sequence Diagrams To Queueing Petri Nets by Howler Nouvelle is a document available to read on EtoBox.

What is Formal Transformation From UML Sequence Diagrams To Queueing Petri Nets about?

The document presents formal transformation rules to convert UML sequence diagrams to queueing Petri nets. It defines queueing Petri nets with an additional "subnet" parameter to represent hierarchical structures. Twelve general transformation rules are proposed to map elements of a sequence diagram to equivalent constructs in a queueing Petri net. The rules aim to preserve the set of possible traces between the two models. A case study is also presented to validate the approach.

Author

Howler Nouvelle

Language

EN