MODEL CHECKING AND CODE GENERATION FOR UML DIAGRAMS USING GRAPH TRANSFORMATION 

Wafa Chama , Raida Elmansouri and Allaoua Chaoui

MISC Laboratory, University Mentouri Constantine, Algeria 

ABSTRACT 

UML is considered as the standard for object-oriented modelling language adopted by the Object Management Group. However, UML has been criticized due to the lack of formal semantics and the ambiguity of its models. In other hands, UML models can be mathematically verified and checked by using its equivalent formal representation. So, in this paper, we propose an approach and a tool based on graph transformation to perform an automatic mapping for verification purposes. This transformation aims to bridge the gap between informal and formal notations and allows a formal verification of concurrent UML models using Maude language. We consider both static (Class Diagram) and dynamic (StateChart and Communication Diagrams) features of concurrent object-oriented system. Then, we use Maude LTL Model Checker to verify the formal model obtained (Automatic Code Generation Maude). The meta-modelling AToM3 tool is used. A case study is presented to illustrate our approach. 

KEYWORDS 

UML, Meta-modelling, Graph Grammar, AToM3 tool, Rewriting System, Maude Specification. 










Comments

Post a Comment

Popular posts from this blog

International Journal of Software Engineering & Applications(IJSEA)

Image
  Submit Your Articles...!!! Welcome to IJSEA International Journal of Software Engineering & Applications(IJSEA) ISSN:0975-3834 [Online]; 0975-4679 [Print] H-Index 36 Web Page URL : https://airccse.org/journal/ijsea/ijsea.html Current Issue ====================== November 2025, Volume 16, Number 6 https://www.airccse.org/journal/ijsea/vol16.html Intelligence as a Feature: Modeling ML in Software Product Lines Luz-Viviana Cobaleda1, Andres Lopez1,2, Paola Vallejo3, Raul Mazo2 and Julian Carvajal1 1Universidad de Antioquia, Colombia, 2Francia, 3Universidad EAFIT, Colombia https://aircconline.com/ijsea/V16N6/16625ijsea01.pdf A Smart Framework for Aligning College Curricula with Labor Market Needs Khaled Ebrahim Almajed, Hazem M. El-Bakry, Samir Abd Elrazez, Rasha Elhadri, Mansoura University, Egypt https://aircconline.com/ijsea/V16N6/16625ijsea02.pdf #ai #artificialintelligence #machinelearning #ml #deeplearning #genai #generativeai #aiineducation #edtechtools #...
Read more

International Journal of Software Engineering & Applications (IJSEA)

Image
 * Registration is currently open * International Journal of Software Engineering & Applications (IJSEA) H-INDEX - 36 ** ERA Indexed ** Submission Deadline: January 03, 2026 Webpage URL: https://airccse.org/journal/ijsea/ijsea.html Submission URL : https://airccse.com/submissioncs/home.html Contact Us : ijseajournal@airccse.org or ijsea@aircconline.com #softwaredevelopment #softwaredeveloper #SoftwareEngineering #softwareengineer #FullStack #DataScience #software #opensource #Cybersecurity #app #technology #cloudcomputing #coding #erpsoftware #webseries #businessdevelopment #developers #Business #technology #programming #security #webdeveloper #InnovationInEducation #softwareengineer #system
Read more

Generic Modelling Using Uml Extensions for Queens Challenge Puzzle Game From 1 to 25 Levels System

Image
Paper Title: Generic Modelling Using Uml Extensions for Queens Challenge Puzzle Game From 1 to 25 Levels System Authors: Hussain Mohammad Abu-Dalbouh, Ghadeer AlJibreen and Nehal AlDowighri, Qassim University, Kingdom of Saudi Arabia Abstract: The Unified Modeling Language (UML) is a language for the specification, visualization, and documentation of object-oriented software systems. Existing UML diagrams can be used to conveniently model behavior, but these diagrams can be hardly used to model games. However, UML cannot describe in an explicit manner the games requirements needed for modeling Queens Challenge Game. In this study, the modeling of queens challenge puzzle from 1 to 25 levels is discussed, the proposed extension to UML covering the use case diagram, sequence diagram, activity diagram and class diagram aspects of proposed at the various views and diagrams of the UML. The use of queens challenge game is illustrated using a queens challenge puzzle from 1 to 25 levels example...
Read more