Abstract An effective change management technique is essential to keep track of changes and to ensure that software projects are implemented in the most effective way. Unified Modeling Language (UML) diagrams are widely adopted in software analysis and design. UML diagrams are divided into different perspectives in modelling a problem domain. Preserving the consistency among these diagrams is very crucial so that they can be updated continuously to reflect software changes. In this research, a change management framework is proposed to trace the dependency and to determine the effect of the change in UML diagrams incrementally after each update operation. A set of 45 change impact and traceability analysis templates for all types of change in UML diagrams elements are proposed to detect the change affected and to maintain the diagrams consistency and integrity. The proposed framework is modeled and simulated using Coloured Petri Nets (CPNs) formal language. UML is powerful in describing the static and dynamic aspects of systems, but remains semi-formal and lacks techniques for models validation and verification especially if these diagrams updated continuously. Formal specifications and mathematical foundations such as CPNs are used to automatically validate and verify the behavior of the model. A new structure is proposed for the mutual integration between UML and CPNs modeling languages to support model changes.

References

[1] Abma B., Evaluation of Requirements Management Tools With Support for Traceability- Based Change Impact Analysis, Master’s Thesis, 20 7233281467123 CDODPDCoDDDCsDUCDADSCDSDIODTD CommD 0 20 40 StructuralDiagramsBehavioural diagramsInteractionDiagramsSeries1221813 Series2372813 CDODPDCoDandDDCSDUCDADSCDSDCommDIODTD No of UpdateOperations4195136121718231735 No of AffectedDiagrams13121217776611 0102030405060#1 CDconsistLists (classesList1, oprdefinitionlst1, allattributes1) allclassopratr1 RedundencyMsg oprerationsListstrAtr oprdefinitionlst1 classesList1classesList classesList strAtr classesList (classesList,strAtr) (allclassesnoconst,CDconsistLists, ODconsistlist,ADconsistlists, SCDconsistlists,SDconsistlists, allupdates) (allclassesnoconst,CDconsistLists, ODconsistlist,ADconsistlists, SCDconsistlists,SDconsistlists, allupdates) allclassopratr1 oprerationsList ins_Opr oprerationsList strAtr strAtr #1 oprdefinition oprdefinition (classesList1, oprdefinitionlst1, allattributes1) allclassopratr1

[mem oprerationsList strAtr]

[classesList= classesList1] ClassOprAtr STRING ClassesList STRING ClassesList In ClassAtrName Out AllClassesList In AllClassesList empty AttributesList STRING OprDefinition ClassOprAtr AllClassOprAtr InOut In Change Management Framework to Support UML Diagrams Changes 729 University of Twente, 2009.

[2] Bolloju N., Schneider C., and Sugumaran V., “A Knowledge-Based System for Improving The Consistency Between Object Models and Use Case Narratives,” Expert Systems with Applications, vol. 39, no. 10, pp. 9398-9410, 2012.

[3] Briand L., Labiche Y., and O'sullivan L., “Impact Analysis and Change Management of UML Models,” in Proceedings of International Conference on Software Maintenance, Amsterdam, pp. 256-265, 2003.

[4] Briand L., Labiche Y., and Yue T., “Automated Traceability Analysis for UML Model Refinements,” Information and Software Technology, vol. 51, no. 2, pp. 512-527, 2009.

[5] Chen C., She C., and Tang J., “An Object-Based, Attribute-Oriented Approach for Software Change Impact Analysis,” in Proceedings of IEEE International Conference on Industrial Engineering and Engineering Management, Singapore, pp. 577-581, 2007.

[6] Dang D. and Gogolla M., “An OCL-Based Framework for Model Transformations,” Journal of Science Computer Science and Communication Engineering, vol. 32, no. 1, 2016.

[7] De Lucia A., Fasano F., and Oliveto R., “Traceability Management for Impact Analysis,” in Proceedings of Frontiers of Software Maintenance, Beijing, pp. 21-30, 2008.

[8] Egyed A., “Instant Consistency Checking For The UML,” in Proceedings of the 28th International Conference on Software Engineering, 2006.

[9] Egyed A., “Fixing Inconsistencies In UML Design Models,” in Proceedings of 29th International Conference on Software Engineering, Minneapolis, pp. 292-301, 2007.

[10] Egyed A., “Uml/Analyzer: A Tool for The Instant Consistency Checking of Uml Models,” in Proceedings of 29th International Conference on Software Engineering, Minneapolis, pp. 793-796, 2007.

[11] Egyed A., “Automatically Detecting and Tracking Inconsistencies in Software Design Models,” IEEE Transactions on Software Engineering, vol. 37, no. 2, pp. 188-204, 2011.

[12] Kchaou D., Bouassida N., and Ben-Abdallah H., “Managing The Impact of UML Design Changes On Their Consistency and Quality,” Arabian Journal for Science and Engineering, vol. 41, no. 8, pp. 2863-2881, 2016.

[13] Khalil A. and Dingel J., “Supporting the Evolution of UML Models in Model Driven Software Development: A Survey,” Technical Report, 2013.

[14] Lehnert S., “A Review of Software Change Impact Analysis,” Technical Report, Ilmenau University of Technology, 2011.

[15] Lucas F., Molina F., and Toval A., “A Systematic Review of UML Model Consistency Management,” Information and Software Technology, vol. 51, no. 12, pp. 1631-1645, 2009.

[16] Mahmood Z. and Mahmood R., “Category, Strategy and Validation of Software Change Impact Analysis,” International Journal of Engineering and Computer Science, vol. 4, no. 4, pp. 11126-11128, 2015.

[17] Mens T., Van Der Straeten, R., and Simmonds, J., “A Framework for Managing Consistency of Evolving UML Models,” Software Evolution with UML and XML, pp. 1-31, 2005.

[18] Mohan K., Xu P., Cao L., and Ramesh B., “Improving Change Management in Software Development: Integrating Traceability and Software Configuration Management,” Decision Support Systems, vol. 45, no. 4, pp. 922-936, 2008.

[19] Niepostyn, S., “The Sufficient Criteria for Consistent Modelling of the Use Case Realization Diagrams with a New Functional-Structure- Behaviour Uml Diagram,” Przegląd Elektrotechniczny Sigma NOT, vol. 2, pp. 31-35, 2015.

[20] Puissant J., Resolving Inconsistencies in Model- Driven Engineering using Automated Planning, PhD Thesis, Universit de Mons, 2012.

[21] Rajabi B. and Lee S., “A Study of The Software Tools Capabilities in Translating UML Models to PN Models,” International Journal of Intelligent Information Technology Application, vol. 2, no. 5, pp. 224-228, 2009.

[22] Rajabi B. and Lee S., “Consistent Integration Between Object Oriented and Coloured Petri Nets Models,” The International Arab Journal of Information Technology, vol. 11, no. 4, pp. 406- 415, 2014.

[23] Sapna P. and Mohanty H., “Ensuring Consistency in Relational Repository of UML Models,” in Proceedings of 10th International Conference on Information Technology, Orissa, pp. 217-222, 2007.

[24] Sharaff A., “A Methodology for Validation of OCL Constraints Using Coloured Petri Nets,” International Journal of Scientific and Engineering Research, vol. 4, no. 1, 2013.

[25] Shinkawa Y., “Inter-Model Consistency in Uml Based on Cpn Formalism,” in Proceedings of 13th Asia Pacific Software Engineering Conference, Kanpur, pp. 411-418, 2006.

[26] Westergaard M. and Verbeek H., CPN Tools. Available from: http://cpntools.org/ Last Visited, 2013. 730 The International Arab Journal of Information Technology, Vol. 16, No. 4, July 2019 Bassam Rajabi received his PhD degree in Software Engineering from University of Malaya, Malaysia. From 2001 to 2004, he was a Research and Teaching Assistant with the Computer Science Department, Alquds University- Palestine. He was a Lecturer and Dean Assistant for Administrative Affairs from 2005 to 2017 with Wajdi University College of Technology-Palestine. Currently, he is the dean of Ibrahimieh Community College. His areas of interest are Software Design and Modeling Techniques. Sai Peck Lee is a professor at the Department of Software Engineering, University of Malaya. She obtained her Ph.D. degree in Computer Science from Université Paris 1 Panthéon-Sorbonne. Her current research interests include Object- Oriented Techniques and CASE tools, Software Reuse, Requirements Engineering and software quality. She is a member of IEEE and currently in several experts review panels, both locally and internationally.