Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
Synthesis of UML Sequence Diagrams, where various component models are put together to create a larger, more holistic Sequence Diagrams is a widely-studied area of research. However, there is no unifying theory that proves that the synthesis could be performed without losing any vital data, or intro...
| Main Author: | Ameedeen, Mohamed Ariff |
|---|---|
| Format: | Research Book Profile |
| Language: | English |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/36271/ http://umpir.ump.edu.my/id/eprint/36271/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, et al.
by: Ameedeen, Mohamed Ariff, et al.
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)
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)
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)
A Proposal for Folding in ORM Diagrams
by: Morgan, Tony
Published: (2010)
by: Morgan, Tony
Published: (2010)
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)
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)
Test case generator based on UML activity diagram
by: Loh, Kha Bee
Published: (2014)
by: Loh, Kha Bee
Published: (2014)
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)
Consistency check between XML schema and class diagram for document versioning
by: Ibrahim, Rosziati, et al.
Published: (2018)
by: Ibrahim, Rosziati, et al.
Published: (2018)
Consistency rules between UML use case and activity diagrams using logical approach
by: Noraini, Ibrahim, et al.
Published: (2011)
by: Noraini, Ibrahim, et al.
Published: (2011)
Generating UML class diagram from source codes using multi-threading technique
by: Abdullah, Saif Khalid
Published: (2015)
by: Abdullah, Saif Khalid
Published: (2015)
Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
by: Balsters, Herman, et al.
Published: (2016)
by: Balsters, Herman, et al.
Published: (2016)
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)
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)
Automated model-based test case generation using UML activity diagram
by: Monim, Md Abdul
Published: (2018)
by: Monim, Md Abdul
Published: (2018)
A Unified Strategy for Sequence and Sequence-less T-way Test Suite Generation
by: Abdullah, Nasser, et al.
Published: (2016)
by: Abdullah, Nasser, et al.
Published: (2016)
Visualizing requirements using use case diagram and diagram 0 for compound information system / Noorihan Abdul Rahman and Nor Asma Mohd Zin
by: Abdul Rahman, Noorihan, et al.
Published: (2018)
by: Abdul Rahman, Noorihan, et al.
Published: (2018)
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)
Critic-based and collaborative approach for UML class diagram
by: Abdulkareem, Soran Mahmood
Published: (2015)
by: Abdulkareem, Soran Mahmood
Published: (2015)
Sequence and sequence-less T-way test suite generation strategy based on flower pollination algorithm
by: Abdullah, Nasser, et al.
Published: (2015)
by: Abdullah, Nasser, et al.
Published: (2015)
An elitist-flower pollination-based strategy for constructing sequence and sequence-less t-way test suite
by: Abdullah, Nasser, et al.
Published: (2018)
by: Abdullah, Nasser, et al.
Published: (2018)
Sequence and sequence-less t-way test suite generation strategy based on the elitist flower pollination algorithm
by: Mohammed Abdullah, Abdullah Nasser
Published: (2018)
by: Mohammed Abdullah, Abdullah Nasser
Published: (2018)
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)
Benchmark circuit complexity validation using binary decision diagram characteristics
by: Mills,, Bruce, et al.
Published: (2006)
by: Mills,, Bruce, et al.
Published: (2006)
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)
Similar Items
-
Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff, et al. -
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) -
Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017) -
A Case Analysis of IEEE 802.11 CSMACA Protocol Via Sequence Diagrams
by: M. A., Ameedeen, et al.
Published: (2012)