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...
| Main Authors: | , , , |
|---|---|
| Format: | Research Report |
| Language: | English |
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/36565/ 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 |
| _version_ | 1848825031223672832 |
|---|---|
| author | Ameedeen, Mohamed Ariff Zamli, K. Z. Ong, Muhamad Idaham Umar Thong, Weng Jie |
| author_facet | Ameedeen, Mohamed Ariff Zamli, K. Z. Ong, Muhamad Idaham Umar Thong, Weng Jie |
| author_sort | Ameedeen, Mohamed Ariff |
| building | UMP Institutional Repository |
| collection | Online Access |
| description | 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 mathematical analysis for a system that is also capable of expressing dynamic interaction in a system. SD2PN is a tool that enables software developers to map Sequence Diagram to Petri Nets. Software developers are able to map Sequence Diagram to Petri Nets and perform mathematical analysis using Petri Net tools to check for any error before the actual coding phase. This will in turn result in less error during the coding phase. However, SD2PN only supports one way mapping, which is from Sequence Diagram to Petri Nets. Users have to manually update the Sequence Diagram if any error is to be found when analyzing the Petri Nets. This thesis aims to find a way to map Petri Nets back to Sequence Diagram, so that software developers are able to map the Petri Nets back to Sequence Diagram instead of updating the Sequence Diagram manually. This is the main motivation for this thesis, which is to create an algorithm for mapping Petri Nets to UML Sequence Diagram. This thesis is also been done to fulfill the requirement of my masters study. |
| first_indexed | 2025-11-15T03:22:27Z |
| format | Research Report |
| id | ump-36565 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T03:22:27Z |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-365652023-03-16T08:02:54Z http://umpir.ump.edu.my/id/eprint/36565/ Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling Ameedeen, Mohamed Ariff Zamli, K. Z. Ong, Muhamad Idaham Umar Thong, Weng Jie QA76 Computer software 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 mathematical analysis for a system that is also capable of expressing dynamic interaction in a system. SD2PN is a tool that enables software developers to map Sequence Diagram to Petri Nets. Software developers are able to map Sequence Diagram to Petri Nets and perform mathematical analysis using Petri Net tools to check for any error before the actual coding phase. This will in turn result in less error during the coding phase. However, SD2PN only supports one way mapping, which is from Sequence Diagram to Petri Nets. Users have to manually update the Sequence Diagram if any error is to be found when analyzing the Petri Nets. This thesis aims to find a way to map Petri Nets back to Sequence Diagram, so that software developers are able to map the Petri Nets back to Sequence Diagram instead of updating the Sequence Diagram manually. This is the main motivation for this thesis, which is to create an algorithm for mapping Petri Nets to UML Sequence Diagram. This thesis is also been done to fulfill the requirement of my masters study. Research Report NonPeerReviewed pdf en 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 Ameedeen, Mohamed Ariff and Zamli, K. Z. and Ong, Muhamad Idaham Umar and Thong, Weng Jie Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling. , [Research Report] (Unpublished) |
| spellingShingle | QA76 Computer software Ameedeen, Mohamed Ariff Zamli, K. Z. Ong, Muhamad Idaham Umar Thong, Weng Jie Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling |
| title | Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling |
| title_full | Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling |
| title_fullStr | Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling |
| title_full_unstemmed | Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling |
| title_short | Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling |
| title_sort | sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/36565/ 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 |