- Tytuł:
- A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
- Autorzy:
-
Elmansouri, Raida
Meghzili, Said
Chaoui, Allaoua - Powiązania:
- https://bibliotekanauki.pl/articles/2097950.pdf
- Data publikacji:
- 2021
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
model-driven engineering
graph transformation
transformation correctness
model checker
groove
software systems - Opis:
- 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.
- Źródło:
-
Computer Science; 2021, 22 (2); 209-233
1508-2806
2300-7036 - Pojawia się w:
- Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł