Importance and Impact of Class Diagram in Software Development
2019, Indian Journal of Science and Technology
https://doi.org/10.17485/IJST/2019/V12I25/145739Abstract
Background/Objectives: This work mainly focuses on the role of UML Class diagram in different phases of software development cycle and shows the industry responses regarding its impact and importance. Methods/Statistical Analysis: we conducted industry survey and collected data from software practitioners. Participants were asked about their usage of UML for modeling software artifacts and most frequent diagram they use. Findings: Result shows that UML Class diagram is most important element of UML and it performed highly significant role in software development. It is most frequently used diagram. Application/Improvements: Usage of UML models during the software development improve the quality of software and UML Class diagram is most important part of UML and help practitioners to perform analysis and as well as design in a systematic way.
References (19)
- References
- Fu C, Yang D, Zhang X, Hu H. An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency. Automated Software Engineering. 2017; 24(2):295-339. https://doi.org/10.1007/s10515-017-0210-9
- Artale A, Calvanese D, Angelica I. Full satisfiability of UML Class diagrams. Conceptual Modeling -ER Lecture Notes in Computer Science. 2010; 6412:317-31 https://doi. org/10.1007/978-3-642-16373-9_23
- Anastasakis K, Bordbar B, Georg G, Ray I. On challenges of model transformation from UML to Alloy. Software and Systems Modeling. 2010; 9(1):69-86. https://doi. org/10.1007/s10270-008-0110-3
- Szlenk M. Formal-semantics-reasoning-UML-class-diagram. Dependability of Computer Systems. DepCos-RELCOMEX '06. 2006; 59:25-7. https://doi.org/10.1109/DEPCOS- RELCOMEX.2006.27
- Cadoli M, Calvanese D, Giacomo G, Mancini T. Finate satisfibaility of UML Class diagram by constraint programming. Proc of the 2004 International Workshop on Description Logics. vol 104 of CEUR Workshop Proceedings; 2004. p. 1-15.
- Maraee A, Balaban M. Efficient reasoning about finite satisability of UML Class diagram with contrained generalization sets. Model Driven Architecture -Foundations and Applications Lecture Notes in Computer Science. 2007; 4530:17-31. https://doi.org/10.1007/978-3-540-72901-3_2
- Hafeez Khan A, Hyder Abbas Musavi S, Rehman A, Shaikh A. Ontology-based finite satisfiability of UML Class model. IEEE Access. 2018; 6:3040-50. https://doi.org/10.1109/ ACCESS.2017.2786781
- Shaikh A,Wiil UK. Overview of slicing and feedback techniques for efficient verification of UML/OCL Class diagrams. IEEE Access. 2018; 6:23864-82. https://doi. org/10.1109/ACCESS.2018.2797695
- Gonzlez CA, Cabot J. Formal verification of static software models in MDE: A systematic review. Information and Software Technology. 2014; 56(8):821-38. https://doi. org/10.1016/j.infsof.2014.03.003
- Balaban M, Maraee A. Finite satisfiability of UML Class diagrams with constrained class hierarchy. ACM Transactions on Software Engineering and Methodology -In memoriam, fault detection and localization, formal methods, modeling and design TOSEM Homepage archive. 2013; 22(3). https://doi.org/10.1145/2491509.2491518
- Malgouyres H, Motet G. A UML model consistency verification approach based on metamodeling formalization. SAC '06 Proceedings of the 2006 ACM Symposium on Applied Computing; 2006. p. 1804-9. https://doi.org/10.1145/1141277.1141703
- Maraee A, Balaban M. Efficient recognition of finite satisfiability in UML Class diagrams strengthening by propagation of disjoint constraints. Model-based Systems Engineering, MBSE. 2009; 1(8):2-5. https://doi. org/10.1109/MBSE.2009.5031714
- Maraee A, Balaban M, Vicktor. Efficient recognition and detection of finite satisfiability problems in UML Class diagram. 1st International Workshop on Model Co-evolution and Consistency Management; 2008.
- Berardi D, Calvanese D, Giacomo GD. Reasoning on UML Class diagrams. Artificial Intelligence. 2005; 168(1-2):70- 118. https://doi.org/10.1016/j.artint.2005.05.003
- Berardi D, Calvanese D, De Giacomo G. Reasoning on UML Class diagrams is EXPTIME-hard. Proc of the Description Logic Workshop; 2003. p. 28-37.
- Shaikh A, Wiil UK. A feedback technique for unsatisfiable UMLOCL Class diagrams. Software Practice and Experience. Wiley Journal. 2013. https://doi.org/10.1002/ spe.2211
- Shaikh A, Wiil U. UML to CSP (UOST). A tool for efficient verification of UMLOCL Class diagrams through model slicing. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering; 2012. p. 1-4. https://doi.org/10.1145/2393596.2393639
- Shaikh A, Wiil UK. Evaluation of tools and slicing techniques for effcient verifcation of UMLOCL Class. Advances in Software Engineering Archive. New York, NY, United States: Hindawi Publishing Corp; 2011. p. 18. https://doi.org/10.1155/2011/370198