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...

Full description

Saved in:
Bibliographic Details
Main Authors: Ameedeen, Mohamed Ariff, Zamli, K. Z., Ong, Muhamad Idaham Umar, Thong, Weng Jie
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