| Identifier
|
559 |
|
ชื่อเรื่อง |
FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH
|
|
ผู้สร้างผลงาน |
CHAOUI, A.
|
|
ผู้สร้างผลงาน |
SAIDOUNI, D.
|
|
ผู้สร้างผลงาน |
BOUARIOUA, M.
|
|
ผู้สร้างผลงาน |
BEKRAR, S.
|
|
ผู้สร้างผลงาน |
KERKOUCHE, E.
|
|
หัวเรื่อง |
Formal Verification; Graph transformation; MLTS; MRG; ATOM3 ; Meta-models; Test model
|
|
Description |
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 meta-modeling tool ATOM3 is used. Our approach is illustrated through an example.
|
|
Publisher |
Université de Biskra
|
|
Contributor |
université de Biskra
|
|
วันที่ |
2014-05-07
|
|
ประเภท |
info:eu-repo/semantics/article
|
|
ประเภท |
info:eu-repo/semantics/publishedVersion
|
|
ประเภท |
Article évalué par les pairs
|
|
รูปแบบ |
application/pdf
|
|
Identifier |
http://revues.univ-biskra.dz/index.php/cds/article/view/407
|
|
แหล่งข้อมูล |
Courrier du Savoir; Vol. 14 (2012): Courrier du Savoir
|
|
แหล่งข้อมูล |
Courrier du Savoir; Vol. 14 (2012): Courrier du Savoir
|
|
แหล่งข้อมูล |
1112-3338
|
|
แหล่งข้อมูล |
1112-3338
|
|
ภาษา |
fra
|
|
Relation |
http://revues.univ-biskra.dz/index.php/cds/article/view/407/376
|
แสดงรายละเอียดบรรณานุกรม
QR code
กลับ
Copyright 2025. All Rights Reserved.