Description
Title: An integrated approach using UML 2.0 activity diagrams and CSP for software system modeling and verification
Abstract: This paper suggests a method for modeling and verifying software systems that combines communicating sequential process (CSP) and UML 2.0 Activity Diagrams (UML2-ADs). Software system modeling is done with a UML2-AD, and verification is done with a CSP. The suggested method involves an alternative method of converting UML2-AD models to CSP models. Additionally, some of the properties of the transformation itself are checked for accuracy. These characteristics are described using linear temporal logic (LTL), and the GROOVE model checker is used to confirm them. The foundation of this strategy is model-driven engineering (MDE). The AToMPM tool is used to implement meta-modeling, and the GROOVE tool is used to implement model transformation and the accuracy of its properties. Finally, we used a case study to demonstrate this strategy.
Keywords: model-driven engineering, graph transformation, transformation correctness, model checker, GROOVE, software systems
Paper Quality: SCOPUS / Web of Science Level Research Paper
Paper type: Analysis Based Research Paper
Subject: Computer Science
Writer Experience: 20+ Years
Plagiarism Report: Turnitin Plagiarism Report will be less than 10%
Restriction: Only one author may purchase a single paper. The paper will then indicate that it is out of stock.
What will I get after the purchase?
A turnitin plagiarism report of less than 10% in a pdf file and a full research paper in a word document.
In case you have any questions related to this research paper, please feel free to call/ WhatsApp on +919726999915
Reviews
There are no reviews yet.