Open Access
Subscription Access
Ameliorated Methodology to Meta Model UML Sequence Diagram in the Table Format
The unified modeling language (UML) consists of 13 diagrams. The sequence diagram is one of the UML diagrams which captures the dynamic behavior of a system. It represents how the objects communicate to the other objects using a message(s) such as simple, synchronous or asynchronous. These messages are executed in time order from top to bottom and left to right. In this work, an automated tool is proposed which meta-models by taking the UML sequence diagram as an input and then translate the diagram to XMI format using the available whitestar tool and stored in the file. We abstract the various components such as objects, messages, activation, loops (for, while), conditional statements alt (if, if-else), etc. The objects, messages, activation, loops, conditional statements alt are abstracted from the file and are represented in first-order logic, and are stored in form of a table. Finally, using the abstracted information an equivalent sequence diagram is generated.
Keywords
first-order logic, interactions, messages, Sequence diagram, sequence table.
User
Font Size
Information
- Dr. R. N Kulkarni et.al, Reverse Engineering of UML sequence diagram for the Abstraction of Requirements, International Journal of Combined Research & Development (IJCRD) eISSN: 2321-225X; pISSN: 2321-2241 Volume: 4; Issue: 4; April -2015.
- V.Lima, C. Talhi, D. Mouheb, M. Debbabi, and L. Wang,” Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages, Elsever Electronic Notes in Theoretical Computer Science 254 (2009) 143–160
- Nazir Ahmad Zafar, Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram, Arab J SciEng (2016) 41:2975–2986, DOI 10.1007/s13369-015-19999.
- Dr. R. N Kulkarni et.al, Abstraction of Uml Diagrams From Java Code, International Journal of Combined Research & Development (IJCRD) eISSN:2321-225X; pISSN:2321-2241 Volume: 2; Issue: 4; April-2014.
- Preeti Satish, Arinjita Paul, Krishnan Rangarajan. Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams, 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops.
- Chris Alvin · Brian Peterson · Supratik Mukhopadhyay. Static generation of UML sequence diagrams, springer 2019 International Journal on Software Tools for Technology Transfer.
- Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, Doo Hwan Bae. A semantics of sequence diagrams, Elsevier Information Processing Letters 84 (2002) 125–130.
- Mubarak Albarka Umar, Chen Zhanfang. A Comparative study of Dynamic Software Testing Techniques. Int. J. Advanced Networking and Applications Volume: 12 Issue: 03 Pages: 4575-4584(2020) ISSN: 0975-0290.
- Dr Vipin Saxena, Deepa Raj. Local Area Network Performance Using UML. Int. J. of Advanced Networking and Applications Volume: 02, Issue: 02, Pages:614-620 (2010).
- Martina Seidl “UML@ Classroom”, Springer International Publishing Switzerland 2015, DOI 10.1007/978-3-3/-19-12742-2.
- OMG Unified Modeling Language TM (OMG UML), Superstructure version 2.2, http://www.omg.org/spec/UML/2.2/Superstructu re.
- B Rumpe, Modeling with UML, Springer Imternational Publishing Switzerland 2016, DOI 10.1007/978-3-319-33933-7-2
Abstract Views: 212
PDF Views: 1