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: | 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/ 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 |
Similar Items
Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff
Published: (2010)
by: Ameedeen, Mohamed Ariff
Published: (2010)
A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram
by: Thong , Weng Jie, et al.
Published: (2015)
by: Thong , Weng Jie, et al.
Published: (2015)
Sequence diagrams: an aid for digital ecosystem developers
by: McMeekin, David, et al.
Published: (2009)
by: McMeekin, David, et al.
Published: (2009)
A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
by: M. A., Ameedeen, et al.
Published: (2012)
by: M. A., Ameedeen, et al.
Published: (2012)
Use-case and sequence diagram models for developing transient stability software.
by: Suyono, Hadi, et al.
Published: (2006)
by: Suyono, Hadi, et al.
Published: (2006)
Mapping a sequence diagram to the related code: cognitive levels expressed by developers
by: McMeekin, David, et al.
Published: (2009)
by: McMeekin, David, et al.
Published: (2009)
Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017)
by: Aman, Hananni, et al.
Published: (2017)
Tetrahedron diagram in Chern-Simons-witten theory
by: Zen, Freddy Permana, et al.
Published: (2005)
by: Zen, Freddy Permana, et al.
Published: (2005)
Automata diagram for groups
by: Gan, Yee Siang, et al.
Published: (2013)
by: Gan, Yee Siang, et al.
Published: (2013)
Class diagram critic: a design critic tool for UML class diagram
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)
The Development of the Business Rules Diagram
by: McDermid, Donald
Published: (1998)
by: McDermid, Donald
Published: (1998)
Automata diagram for finite groups
by: Fong, Wan Heng, et al.
Published: (2013)
by: Fong, Wan Heng, et al.
Published: (2013)
Permutation groups in automata diagrams
by: Gan, Yee Siang, et al.
Published: (2013)
by: Gan, Yee Siang, et al.
Published: (2013)
Weights Binary Decision Diagram (WBDD) and its application to Matrix Multiplication
by: Bhuvaneswari, T., et al.
Published: (2009)
by: Bhuvaneswari, T., et al.
Published: (2009)
Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
by: Nuraini Abdulganiyyi, Nuraini
Published: (2014)
by: Nuraini Abdulganiyyi, Nuraini
Published: (2014)
A Proposal for Folding in ORM Diagrams
by: Morgan, Tony
Published: (2010)
by: Morgan, Tony
Published: (2010)
Schematic diagrams of automated substation panels
by: Musse, Mohamud Ahmed, et al.
Published: (2011)
by: Musse, Mohamud Ahmed, et al.
Published: (2011)
Phase diagrams of multicomponent lattice models
by: Ganikhodjaev, Nasir, et al.
Published: (2006)
by: Ganikhodjaev, Nasir, et al.
Published: (2006)
Dynamic Diagrams: A Composition Alternative
by: Lowe, Ric, et al.
Published: (2012)
by: Lowe, Ric, et al.
Published: (2012)
Complexities of One-Component Phase Diagrams
by: Ciccioli, A., et al.
Published: (2011)
by: Ciccioli, A., et al.
Published: (2011)
Equations of State and Phase Diagrams of Ammonia
by: Glasser, Leslie
Published: (2009)
by: Glasser, Leslie
Published: (2009)
Attention direction in static and animated diagrams
by: Lowe, Ric, et al.
Published: (2010)
by: Lowe, Ric, et al.
Published: (2010)
A design theory for holistic student self-service university management system
by: Muhamad Idaham, Umar Ong, et al.
Published: (2019)
by: Muhamad Idaham, Umar Ong, et al.
Published: (2019)
Teaching and learning secondary school biology with diagrams
by: Liu, Yang
Published: (2012)
by: Liu, Yang
Published: (2012)
Analysis of Students’ Diagrams Explaining Scientific Phenomena
by: McLure, Felicity, et al.
Published: (2021)
by: McLure, Felicity, et al.
Published: (2021)
Phase diagram of the Potts Model with competing interactions
by: Ganikhodjaev, Nasir
Published: (2009)
by: Ganikhodjaev, Nasir
Published: (2009)
Phase diagram of the Potts Model with competing interactions
by: Ganikhodjaev, Nasir
Published: (2009)
by: Ganikhodjaev, Nasir
Published: (2009)
Supporting relational processing in complex animated diagrams
by: Lowe, Ric, et al.
Published: (2008)
by: Lowe, Ric, et al.
Published: (2008)
Spatial interpolation methods for interpretation of ordination diagrams
by: Mucina, Ladislav, et al.
Published: (1991)
by: Mucina, Ladislav, et al.
Published: (1991)
Perceptual learning in the comprehension of animation and animated diagrams
by: Lowe, Ric
Published: (2015)
by: Lowe, Ric
Published: (2015)
Manipulable models for investigating processing of dynamic diagrams
by: Lowe, Ric, et al.
Published: (2010)
by: Lowe, Ric, et al.
Published: (2010)
Manipulation of boolean functions based on decision diagrams
by: Sim, Poh Ching
Published: (2003)
by: Sim, Poh Ching
Published: (2003)
Formative computer based assessment in diagram based domains
by: Bligh, Brett
Published: (2007)
by: Bligh, Brett
Published: (2007)
The colour of risk: an exploration of the IPCC's 'burning embers' diagram
by: Mahony, Martin, et al.
Published: (2012)
by: Mahony, Martin, et al.
Published: (2012)
Perceptual processing and the comprehension of relational information in dynamic diagrams
by: Lowe, Ric, et al.
Published: (2018)
by: Lowe, Ric, et al.
Published: (2018)
Designing static and animated diagrams for modern learning materials
by: Lowe, Ric
Published: (2017)
by: Lowe, Ric
Published: (2017)
Stabilities and Phase Diagrams of Fast Pyrolysis Bio-oils
by: Li, Mingyang
Published: (2020)
by: Li, Mingyang
Published: (2020)
Phase diagram of the Ising model with nearest-neighbor interactions
by: Ganikhodjaev, Nasir, et al.
Published: (2011)
by: Ganikhodjaev, Nasir, et al.
Published: (2011)
Phase diagram of the potts model with external magnetic field
by: Ganikhodjaev, Nasir, et al.
Published: (2011)
by: Ganikhodjaev, Nasir, et al.
Published: (2011)
Development of online application for Muslim traveler with UML diagram
by: Gunawan, Teddy Surya, et al.
Published: (2011)
by: Gunawan, Teddy Surya, et al.
Published: (2011)
Similar Items
-
Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff
Published: (2010) -
A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram
by: Thong , Weng Jie, et al.
Published: (2015) -
Sequence diagrams: an aid for digital ecosystem developers
by: McMeekin, David, et al.
Published: (2009) -
A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
by: M. A., Ameedeen, et al.
Published: (2012) -
Use-case and sequence diagram models for developing transient stability software.
by: Suyono, Hadi, et al.
Published: (2006)