Transformation of UML Diagrams based on their Overlapping: An Algorithmic Approach
Abstract
Modeling methods in general and Unified Modeling Language (UML) in particular, have gained trust in software developer communities. UML diagrams are profoundly utilized by software developers to build, model and visualize the working of the software. While the comprehension of the UML models can introduce ambiguities in the software. As there is no specification on how these models should be analyzed. Therefore, these models sometimes convey inconsistent semantics in the software systems. So, there must be some automated procedure in which these models be transformed into one another, to remove analyst-introduced ambiguities. For this purpose, the conversion between UML diagrams is a necessity. This paper aims at solving this inconsistency gap between UML diagrams by providing a novel approach to conversion between UML models. In this paper, we have proposed novel techniques to convert 1) UML Use-Case diagram into UML Communication diagram. 2) UML Communication diagram into UML Component diagram. The said approach is validated using two case studies.
References
B. Padmanabhan, "Unified Modeling Language (UML) Overview", February, 2012.
I. Jacobson, G. Booch and J. Rumbaugh, “The Unified Modeling Language Reference Manual”, Addison-Wesley, 1999.
S. Shakil and B. Hazela, "Formalization of UML Class Diagram", International Journal of Engineering Science and Computing, vol. 6, no. 5, 2016.
A. Kalnins, J. Barzdins and K. Podneiks, “Modeling Languages and tools: state of the art”, Order 18, no. L12, 2000.
T. Corp., "Tricentis.com" December 2018. [Online]. Available: https://www.tricentis.com/blog/real-life-examples-of-software-development-failures/.
A. Jilani, M. Usman and A. Nadeem, “Comparative Study on DFD to UML Diagrams Transformations”, World of Computer Science and Information Technology Journal, vol. 1, no. 1, pp. 10-16, 2011.
B. Hnatkowska, Z. Huzar and L. Kuzniarz, "Refinement relationship between collaborations", Workshop on Consistency Problems in UML-based Software Development II, 2003.
C. Atkinson and T. Kuhne, "Model driven development: A metamodeling foundation", IEEE Software, vol. 20, no. 5, pp. 36-41, 2003.
N.A. Zafar, "Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram", Arabian Journal for Science and Engineering, vol. 41, no. 8, pp. 2975-2986, 2016.
S.J. Niepostyn and I. Bluemke, "The Function-Behaviour-Structure Diagram for Modelling Workflow of Information Systems", Advanced Information Systems Engineering Workshops, Berlin, Heidelberg, 2012.
G. Spanoudakis and A. Zisman, "Inconsistency Management in Software Engineering: Survey and open research issues", Handbook of Software Engineering and knowledge Engineering, vol I, pp. 329-380, 2001.
L. Baresi, MM. Pourhashem and M. Rossi, "Flexible Modular Formalization of UML Sequence Diagrams", Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, June 2014.
D. Torre, "Verifying the consistency of UML models", IEEE 27th International Symposium on Software Reliability Engineering Workshops, Ottawa, Canada, pp. 53-54, 2016.
D. Thomas, "Revenge of the modelers or UML utopia", IEEE Software, vol 21, no. 3, pp. 15-17, 2004.
M. Nelson and M. Piattini, "A Systematic Literature Review on the Quality of UML Models", Innovations in database design, web applications and information systems managements, vol. 22, no. 3, pp. 310-334, 2012.
A. Bucchiarone, J. Cabot and RF. Paige, "Grand Challenges in model-driven engineering: an analysis of the state of the research", Software and Systems Modeling, vol 19, no. 1, pp. 5-13, 2020.
D. Moody, "Theoretical and Practical issues in evaluating the quality of conceptual models: current state and future directions", Data and knowledge Engineering, vol. 55, no. 3, pp. 243-276, 2005.
M. Genero, M. Piattini and C. Calero, "A survey of metrics for UML Class Diagrams", Journal of Object Technology, vol. 4, no. 9, pp. 59-92, 2005.
F.J. Lucas, F. Molina and A. Toval, "A systematic review of UML Model consistency management", Information and Software Technology, vol. 51, no. 12, pp. 1631-1645, 2009.
W.Q. Liu, S. Easterbrook and J. Mylopoulos, "Rule-based detection of inconsistency in UML models", Workshop on Consistency Problems in UML-Based Software Development, vol. 5, 2002.
E. Astesiano and G. Reggio, "An Algebraic Proposal for Handling UML Consistency", Workshop on Consistency Problems in UML based Software Development II, San Francisco, USA, 2003.
Z. Chen and G. Motet, "A Language- Theoretic View on Guidelines and Consistency Rules of UML", European Conference on Model Driven Architecture- Foundations and Applications. Springer, 2009.
D. Rajagopal and K. Thilakavalli, "A Study: UML for OOA and OOD", International Journal of Knowledge Content Development & Technology, vol. 7, no. 2, pp. 5-20, 2017.
MB. Tuncel, "Using Collaboration Diagrams in Component Oriented Modeling", MS Thesis, Middle East Technical University, 2006.
M.N. Arifin and D. Siahaan, "Structural and Semantic Similarity Measurement of UML Use Case Diagram", Lontar Komputer, vol. 11, no. 2, pp. 88-100, 2020.
M. Elallaoui, K. Nafil and R. Touahni, "Automatic Transformation of User Stories into UML Use Case Diagrams using NLP Techniques", Procedia Computer science, vol. 130, pp. 42-49, 2018.
X. Liu, "Identification and check of inconsistencies between UML diagrams", International Conference on Computer Sciences and Applications, Luoyang, China, 2013.
H.O. Salami and M. Ahmed, "A framework for reuse of multi-view UML artifacts", The International Journal of Soft Computing and Software Engineering, vol. 3, no. 3, pp. 156-162, 2014.
A.D. Marco and R. Mirandola, "Model Transformation in Software Performance Engineering", in International Conference on the Quality of Software Architectures, Berlin, Heidelberg, pp. 95-110, 2006.
P. Selonen, K. Koskimies and M. Sakkinen, "Transformations Between UML Diagrams", International Journal of Database Management, vol. 14, no. 3, pp. 37-55, 2003.
S. Kuske, M. Gogolla and R. Kollmann, "An Integrated Semantics for UML Class, Object and State diagrams based on Graph Transformation", International Conference on Integrated Formal Methods, Springer, Berlin, Heidelberg, pp. 11-28, 2002.
J. Araujo, J. Whittle, A. Toval and R. France, "Integration and Transformation of UML Models", European Conference on Object Oriented Programming, Springer, pp. 184-191, 2002.
OM. Group, "Unified Modeling Language Specification Version 2.5.1", https://www.omg.org/spec/UML/2.5.1/, December 2017.
