Browsing by Subject "graph transformation"

Now showing 1 - 2 of 2

Access status: Open Access ,
A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
(Wydawnictwa AGH, 2021) Elmansouri, Raida; Meghzili, Said; Chaoui, Allaoua
This paper proposes an approach that integrates UML 2.0 Activity Diagrams (UML2-ADs) and the communicating sequential process (CSP) for modeling and verifying software systems. A UML2-AD is used for modeling a software system, while a CSP is used for verification purposes. The proposed approach consists of another way of transforming UML2-AD models to CSP models. It also focuses on checking the correctness of some properties of the transformation itself. These properties are specified using linear temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on model -driven engineering (MDE). The meta-modeling is realized using the AToMPM tool, while the model transformation and the correctness of its properties are realized using the GROOVE tool. Finally, we illustrated this approach through a case study.
Access status: Open Access ,
Parallel allocation of the distributed software using node label controlled graph grammars
(Wydawnictwa AGH, 2008) Kotulski, Leszek
Centralization of a graph's data is useful while we consider properties of some system specification but it seems to be not acceptable in the case of the support an efficient, high reliably system with a dynamic software allocation. In the paper, we introduce the aedNLC graph grammar, that has both polynomial computational complexity and enough descriptive power to coordinate parallel modification of a few local graphs (representing parts of the system), in such a way that the global consistency of the distributed system specification can be maintained.