CHAOUI, A. University Mentouri Constantine - Faculty of Engineering - Computer Science Department, MISC Laboratory, Algeria , SAIDOUNI, D. University Mentouri Constantine - Faculty of Engineering - Computer Science Department, MISC Laboratory, Algeria , BOUARIOUA, M. University Mentouri Constantine - Faculty of Engineering - Computer Science Department, MISC Laboratory, Algeria , BEKRAR, S. University Mentouri Constantine - Faculty of Engineering - Computer Science Department, MISC Laboratory, Algeria , KERKOUCHE, E. University Mentouri Constantine - Faculty of Engineering - Computer Science Department, MISC Laboratory, Algeria

FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH

21581

Maximality-based Labeled Transition Systems (MLTS) is semantic model for true concurrency. In other hand Mixed Refusal Graphs (MRG) are models for formal testing. In this paper, we propose an approach to transform an MLTS model to an equivalent MRG model. Since the input and output models are graphs, we use graph transformation to perform this transformation automatically. So, we propose two meta-models; one for the input model and the other for the output model. Then, based on these meta-models we propose a graph grammar that deals with the transformation process. The metamodeling tool ATOM3 is used. Our approach is illustrated through an example.

25

Formal Verification , Graph transformation , MLTS , MRG , ATOM3 , Meta , models , Test model

Courrier Du Savoir

30