Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Computer Science

1 2021

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: transformation correctness

Sortuj według:

Ogranicz wyniki do:

A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems

Elmansouri Raida, Meghzili Said, Chaoui Allaoua

Computer Science

2021

T. 22 (2)

209–233

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.