Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
The aim for this thesis is to bridge the gap between Sequence Diagram, Petri Nets and SD2PN. Sequence Diagram is a behavioral type of UML diagram widely used by software developers to show dynamic interactions in a system, while Petri Net is a modelling language that is able to carry out mathematica...
Saved in:
Main Authors: | , , , |
---|---|
Format: | Research Report |
Language: | English |
Subjects: | |
Online Access: | http://umpir.ump.edu.my/id/eprint/36565/1/Sequence%20diagram%20synthesis%20theory%20for%20stitching%20together%20multiple%20sequence%20diagrams%20through%20formal%20semantics%20modelling.wm.pdf http://umpir.ump.edu.my/id/eprint/36565/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Universiti Malaysia Pahang |
Language: | English |