Courrier du Savoir scientifique et technique
Volume 14, Numéro 14, Pages 25-30
2014-05-07

From A Model Of Concurrency To A Test Model: A Graph Transformation Based Approach



Auteurs : Chaoui A . Saidouni D . Bouarioua M . Bekrar S . Kerkouche E .

Résumé

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.

Mots clés

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

Les articles similaires

Future Visions And Directions Of Human Resource Management From The Perspective Of Classical And Modern Approaches (an Analytical Study Of Human Resource Management In Light Of The Resource-based Approach, The Knowledge-based Approach, And The Technological Approach)

Terfa Mohammed .  Hamla Azzedine .  Altaqqi Omar . 
pages 19-39.

Conceptual Design Of Dvr From Graph Model

Trakulsuk Paisarn .  Avatchanakorn Vicht . 
pages 235-250.

Bond Graph Model For Fault Detection Of Partial Shaded Pv Array Considering Different Module Connection Schemes And Effects Of Bypass Diodes

Abd Essalam Badoud . 
pages 41-59.

الرواية العربية المعاصرة وجمالية الانفتاح على الفنون الأدبية الأخرى رواية 'كراف الخطايا' لعيسى لحيلح أنموذجًا Contemporary Arabic Novel And The Aesthetic Of Openness To Other Literary Arts: Issa Lahilah’s Graph Of Sins As A Case Study

بوفروك الجودي . 
ص 91-123.

Applications Of Graph Databases And Big Data Technologies In Healthcare

Deghmani Faiza .  Amarouche Amine Idir .  Boukhalfa Kamel . 
pages 47-57.

Formats de citation