Generating Maude Specifications from UML Interaction Overview Diagrams: A Graph Transformation Based Approach

被引：0
|
作者：
Djaoui, Chafika [1 ]
Kerkouche, Elhillali [1 ]
Chaoui, Allaoua [2 ]
Khalfaoui, Khaled [1 ]
机构：
[1] Univ Mohamed Seddik Benyahia, Dept Comp Sci, Jijel, Algeria
[2] Univ Abdelhamid Mehri Constantine 2, Dept Comp Sci & Its Applicat, MISC Lab, Constantine, Algeria
来源：
2018 FIFTH INTERNATIONAL SYMPOSIUM ON INNOVATION IN INFORMATION AND COMMUNICATION TECHNOLOGY (ISIICT 2018) | 2018年
关键词：
UML Interaction Overview Diagrams; Rewriting Logic; Maude language; Graph Transformation; AToM(3); MODEL;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
UML Interaction Overview Diagrams (IODs) are newly introduced in the second generation of UML to define interactions through a variant of activity diagrams in a way that promotes overview of the control flow. However, IODs lack a firm semantics which decrease the quality of system models produced and lead to difficulties in automatic analysis and verification. In this paper, we propose an automatic translation of UML 2.0 Interaction Overview Diagrams (IODs) into rewriting logic Maude Language. Maude is used as a formal notation for specifying models and their firm semantics make models analysis and simulation easier. The approach is based on Graph Transformation and the Meta-Modeling tool AToM3 is used. The approach is illustrated through an example.
引用
收藏
页码：109 / 116
页数：8
相关论文
共 50 条
  • [1] A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams
    Djaoui, Chafika
    Kerkouche, Elhillali
    Khalfaoui, Khaled
    Chaoui, Allaoua
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2018, : 511 - 517
  • [2] Generating Maude Specifications From UML Use Case Diagrams
    Mokhati, Farid
    Badri, Mourad
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2009, 8 (02): : 119 - 136
  • [3] Generating Maude Specifications from M-UML Statechart Diagrams
    Kezai, Mourad
    Khababa, Abdallah
    [J]. JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2022, 26 (01) : 8 - 16
  • [4] Generating operation specifications from UML class diagrams: A model transformation approach
    Albert, Manoli
    Cabot, Jordi
    Gomez, Cristina
    Pelechano, Vicente
    [J]. DATA & KNOWLEDGE ENGINEERING, 2011, 70 (04) : 365 - 389
  • [5] Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach
    Djaaboub, Salim
    Kerkouche, Elhillali
    Chaoui, Allaoua
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 453 - 469
  • [6] Generating Maude formal specifications from AUML diagrams
    Mokhati, Farid
    Boudiaf, Noura
    Badri, Linda
    Badri, Mourad
    [J]. JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2006, 6 (5-6) : S73 - S89
  • [7] Generating Natural Language specifications from UML class diagrams
    Farid Meziane
    Nikos Athanasakis
    Sophia Ananiadou
    [J]. Requirements Engineering, 2008, 13 : 1 - 18
  • [8] Generating natural language specifications from UML class diagrams
    Meziane, Farid
    Athanasakis, Nikos
    Ananiadou, Sophia
    [J]. REQUIREMENTS ENGINEERING, 2008, 13 (01) : 1 - 18
  • [9] Transformation of UML interaction diagrams into contract specifications for object-oriented testing
    Chen, Huo Yan
    Li, Chuang
    Tse, T. H.
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 19 - +
  • [10] Generating UML Sequence Diagrams from Use Case Maps: A Model Transformation Approach
    Yasser A. Khan
    Sajjad Mahmood
    [J]. Arabian Journal for Science and Engineering, 2016, 41 : 965 - 986
12345