Abstract Software models describe structures, relationships and features of the software system. Especially, in Model Driven Engineering (MDE), they are considered as first-class elements instead of programming code and all software development activities move around these models. In MDE, programming code is automatically generated by the models and models’ defects can implicitly transfer to the code. These defects can harder to discover and rectify. Model verification is a promising solution to the problem. The Unified Modelling Language (UML) class model is an important part of UML and is used in both analysis and design. However, UML only provides graphical elements without any formal foundation. Therefore, verification of formal properties such as consistency, satisfiability and consequences are not possible in UML. This paper mainly focuses on ontology-based transformation and verification of the UML class model elements which have not been addressed in any existing verification methods e.g. xor association constraint, and dependencies relationships. We validate the scalability and effectiveness of the proposed solution using various UML class models. The empirical study shows that the proposed approach scales in the presence of the large and complex model.

References

[1] Anastasakis K., Bordbar B., Georg G., and Ray I., “On Challenges of Model Transformation from UML to Alloy,” Software and Systems Modeling, vol. 9, no. 1, pp. 69-86, 2010.

[2] Artale A., Calvanese D., and Ibáñez-García A., “Full Satisfiability of UML Class Diagrams,” in Proceedings of International Conference on Conceptual Modeling, Vancouver, pp. 317-331, 2010.

[3] Bahaj M. and Bakkas J., “Automatic Conversion Method of Class Diagrams to Ontologies Maintaining their Semantic Features,” International Journal of Soft Computing and Engineering, vol. 2, no. 6, pp.65-69, 2013. 766 The International Arab Journal of Information Technology, Vol. 17, No. 5, September 2020

[4] Balaban M. and Maraee A., “Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy,” ACM Transactions on Software Engineering and Methodology, vol. 22, no. 3, pp. 1-45, 2013.

[5] Belghiat A. and Bourahla M., “From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach,” in Proceedings of International conference on Web and Information Technologies, Sidi Bel Abbes, pp. 330-335, 2012.

[6] Berardi D., Calvanese D., and Giacomo G., “Reasoning on UML Class Diagrams,” Artificial Intelligence, vol. 168, no. 1-2, pp. 70-118, 2005.

[7] Berardi D., Calvanese D., and Giacomo G., “Reasoning on UML Class Diagrams is EXPTIME-Hard,” in Proceedings of the International Workshop on Description Logics, Rome, 2003.

[8] Bilgrami K., https://www.codeproject.com/Articles/34993/M nitor-your-Web-Services-usage-via-NET-SOAP- Exten, Last Visited, 2016.

[9] Booch G., Rumbaugh J., and Jacobson I., the Unified Modeling Language User Guide, Addison-Wesley Professional, 2005.

[10] Bordbar B. and Anastasakis K., “UML2ALLOY: A Tool for Lightweight Modelling of Discrete Event Systems,” in Proceedings of the IADIS International Conference on Applied Computing, Algarve, pp. 209-216, 2005.

[11] Cabot J. and Clarisó R., “UML-OCL Verification in Practice,” in Proceedings of International Workshop on Challenges in Model-Driven Software Engineering, Toulouse, pp. 31-35, 2008.

[12] Cabot J. and Teniente E., “Incremental Integrity Checking of UML/OCL Conceptual Schemas,” Journal of Systems and Software, vol. 82, no. 9, pp. 1459-1478, 2009.

[13] Cabot J., Claris R., and Riera D., “On the Verification of UML/OCL Class Diagrams Using Constraint Programming,” Journal of Systems and Software, vol. 1, no. 93, pp. 1-23, 2014.

[14] Cadoli M., Calvanese D., De Giacomo G., and Mancini T., “Finite Satisfiability of UML Class Diagrams by Constraint Programming” in Proceedings of Workshop on CSP Techniques with Immediate Application, pp. 1-17, 2004.

[15] Calero C., Ruiz F., and Piattini M., Ontologies for Software Engineering and Software Technology, Springer Science and Business Media, 2006.

[16] Clarisó R., González C., and Cabot J., “Towards Domain Refinement for UML/OCL Bounded Verification,” in Proceedings of Software Engineering and Formal Methods, York, pp. 108-114, 2015.

[17] Dambal V., https://www.ibm.com/developerworks/library/ws RESTservices/index.html, Last Visited, 2016.

[18] Somenath Mukhopadhyay., https://dzone.com/articles/designing-software- system, Last Visited, 2018.

[19] Fish A., Howse J., Taentzer G., and Winkelmann J., “Two Visualizations of OCL: A Comparison,”

[Online]. Available: http://www.cmis.brighton.ac.uk/research/vmg/V OCLTR.htm, Technical Report, University of Brighton, 2005.

[20] France R., Evans A., Lano K., and Rumpe B., “The UML as a Formal Modeling Notation,” Computer Standards and Interfaces, vol. 19, no. 7, pp. 325-334, 1998.

[21] Hilken F. and Gogolla M, “User Assistance Characteristics of the USE Model Checking Tool,” in Proceedings of the 3rd Workshop on Formal Integrated Development Environment, Limassol, pp. 91-97, 2017.

[22] Kim S. and Carrington D., “A Formal V&V Framework for UML Models Based on Model Transformation Techniques,” in Proceedings of Model Validation (MoDeVa) Workshop, Montego Bay, 2005.

[23] Kim S. and Carrington D.,”A Formal Mapping between UML Models and Object-Z Specifications,” in Proceedings of International Conference of B and Z Users, Monte Verità, pp. 2-21, 2000.

[24] Kjetil M., “A Pratical Application of the Object Constraint Language OCL,” Agder University College, 2002.

[25] Lahrouni M., Cariou E., and Fazziki1 A., “A Black-Box and Contract-Based Verification of Model Transformations,” The International Arab Journal of Information Technology, vol. 16, no. 4, pp. 651-659, 2019.

[26] Larman C., Applying UML and Patterns: An Introduction to Object Oriented Analysis and Design and Interative Development, Prentice Hall, 2004.

[27] Ledang H. and Souquières J., “Integrating UML and B Specification Techniques,” in Proceedings of Informatik Workshop on Integrating Diagrammatic and Formal Specification Techniques, Vienna, 2001.

[28] Ledang H., “Automatic Translation from UML Specifications to B,” in Proceedings of Workshop on Refinement of Critical Systems: Methods, Tools and Experience, San Diego, pp. 23-25, 2002.

[29] Malgouyres H. and Motet G., “A UML Model Consistency Verification Approach Based on Meta-Modeling Formalization,” in Proceedings of ACM symposium on Applied computing, Dijon, pp. 1804-1809, 2006. Ontology-Based Transformation and Verification of UML Class Model 767

[30] Maraee A. and Balaban M., “Efficient Recognition of Finite Satisfiability in UML Class Diagrams: Strengthening by Propagation of Disjoint Constraints,” in Proceedings of International Conference on Model-Based Systems Engineering, Haifa, pp.1-8, 2009.

[31] Maraee A., Makarenkov V., and Balaban M., “Efficient Recognition and Detection of Finite Satisfiability Problems in UML Class Diagram,” in Proceedings of International Workshop on Model Co-Evolution and Consistency Management, (MoDELS’08), France, 2008.

[32] Mukhopadhyay S, https://dzone.com/articles/designing-software- system, Last Visited, 2018.

[33] OMG. “OMG Unified Modeling Language TM (OMG UML)” Superstructure v.2.3. 2010.

[34] Pandey R., “Object Constraint Language (OCL): Past, Present and Future,” ACM SIGSOFT Software Engineering Notes, vol. 36, no. 1, pp. 1- 4, 2011

[35] Parreiras F. and Staab S., “Using Ontologies with UML Class-Based Modeling: The TwoUse Approach,” Data and Knowledge Engineering, vol. 69, no. 11, pp.1194-1207, 2010.

[36] “Patterns, Anti-Patterns and Inference Rules Catalog for UML Class Diagrams,” https://www.cs.bgu.ac.il/~cd- patterns/?page_id=392, Last Visited, 2018.

[37] Przigoda N., Gomes Filho J., Niemann P., Wille R., and Drechsler R., “Frame Conditions in Symbolic Representations of UML/OCL Models,” in Proceedings of International Conference on Formal Methods and Models for System Design, Kanpur, pp. 65-70, 2016.

[38] Ruijters E., Schivo S., Stoelinga M., and Rensink A., “Uniform Analysis of Fault Trees Through Model Transformations,” in Proceedings of Annual Reliability and Maintainability Symposium, Orlando, pp. 1-7, 2017.

[39] Rumbaugh J., Jacobson I., and Booch G., Unified Modeling Language Reference Manual, The Pearson Higher Education, 2004.

[40] Seiter J. and Drechsler R., “Development of Consistent Formal Models,” in Proceedings of Formal Modeling and Verification of CyberPhysical Systems, Bremen, pp. 302-304, 2015.

[41] Shaikh A. and Wiil U., “Efficient Verification- Driven Slicing of UML/OCL Class Diagrams,” Journal of Advanced Computer Science and Applications, vol. 7, no. 5, pp. 530-547, 2016.

[42] Shaikh A. and Wiil U., “Feedback Technique for Unsatisfiable UML/OCL Class Diagrams,” Software Practice and Experience, vol. 44, no. 11, pp. 1379-1393, 2014.

[43] Shaikh A., Wiil U., and Memon N., “Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams,” Advances in Software Engineering, vol. 2011, pp. 1-18, 2011.

[44] Sirin E., Parsia B., Grau B., Kalyanpur A., and Katz Y., “Pellet: A Practical OWL-DL Reasoner,” Web Semantics: Science, Services and Agents on the World Wide Web, vol. 5, no. 2, pp.51-53, 2007.

[45] Straeten R., Inconsistency Management in Model-Driven Engineering An Approach using Description Logics, PhD, Thesis, Vrije Univesiteit Brussel, 2015.

[46] Sun W., Combemale B., and France R., “Towards the Use of Slicing Techniques for an Efficient Invariant Checking,” in Proceedings of 14th International Conference on Modularity, Fort Collins, pp. 23-24, 2015.

[47] Thoughts about OCL - The Object Constraint. 2016.

[Online]. Available: http://www.shiftedup.com/2016/02/05/thoughts- about-ocl-the-object-constraint-language. Last Visited, 2016.

[48] Truong J. and Souquieres N., “An Approach for the Verification of UML Models Using B,” in Proceedings of International Conference and Workshop on the Engineering of Computer Based Systems, Brno, pp. 195-202, 2004.

[49] Truong N. and Souquieres J., “Verification of UML Model Elements Using B,” Journal of Information Science and Engineering, vol. 22, no. 2, pp. 357-373, 2006.

[50] UML Constraint. http://www.uml- diagrams.org/constraint.html, Last Visited, 2016.

[51] Xu W., Dilo A., Zlatanova S., and Oosterom P., “Modelling Emergency Response Processes: Comparative Study on OWL and UML,” in Proceedings of Information Systems for Crisis and Response Management. Proceedings of the Third Joint ISCRAM-CHINA and Gi4DM, Harbin, pp. 493-504, 2008. 768 The International Arab Journal of Information Technology, Vol. 17, No. 5, September 2020 Abdul Hafeez is Assistant Professor at department of Computer Science, SMI University, Karachi. he is associated with SMIU since last 6 years. he was engaged as HoD of Computer Science Department with Institute of Business and Technology, Karachi. He received MS degree in Software Engineering degree from the Hamdard University and PhD degree in Computer Science with specialization in Software Engineering from the Hamdard University. His current research interests include Software Engineering, Model Verification and Ontology-Based Software. Syed Abbas Musavi received the B.E. degree in electronics engineering and the Ph.D. and M.E. degrees in telecommunication engineering under HEC Scholarship from the Mehran University of Engineering and Technology, Pakistan. He is currently serving as the Dean of the Faculty of Engineering Science and Technology with Indus University, Karachi. He is on review board of two impact factor international journals. He is a member of numerous national and international societies, including the IEEEP Karachi Local Council, the IEEE Computer Society, the IEEE Signal Processing Society, the IEEE Devices and Circuits Society, and the IEEE Communications Society. He was a General Chair at the IEEE ICIEECT 2017. Aqeel-Ur-Rehman received the B.S. degree in electronic engineering from the Sir Syed University of Engineering and Technology, Karachi, Pakistan, in 1998, the M.S. degree in information technology from Hamdrad University, Karachi, in 2001, and the Ph.D. degree in computer science with specialization in ubiquitous computing from the National University of Computer and Emerging Sciences, Karachi, in 2012. He is a Professor, the Deputy Director (Admin)-HIET, and the Chairman of the Department of Computing, Faculty of Engineering Sciences and Technology, Hamdard Institute of Engineering and Technology, Hamdard University, Karachi. His current research interests include sensor networks, ubiquitous computing, computer networks, and smart agriculture.