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 条
  • [31] A reverse-engineering approach to understanding B specifications with UML diagrams
    Idani, Akram
    Ledru, Yves
    Bert, Didier
    [J]. 30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 97 - +
  • [32] Automatic Conversion from Specifications in Japanese into Class Diagrams in UML
    Saita, Ryuichi
    Kubomura, Chiaki
    Kameda, Hiroyuki
    [J]. KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2008, 180 : 155 - +
  • [33] On CPN-based Verification of Hierarchical Formalization of UML 2 Interaction Overview Diagrams
    Louati, Aymen
    Jerad, Chadlia
    Barkaoui, Kamel
    [J]. 2013 5TH INTERNATIONAL CONFERENCE ON MODELING, SIMULATION AND APPLIED OPTIMIZATION (ICMSAO), 2013,
  • [34] A Deep Learning Approach to UML Class Diagrams Discovery from Textual Specifications of Software Systems
    Rigou, Yves
    Khriss, Ismail
    [J]. INTELLIGENT SYSTEMS AND APPLICATIONS, VOL 2, 2023, 543 : 706 - 725
  • [35] Processing Redundancy in UML Diagrams Based on Knowledge Graph
    Jiang, Yirui
    Duan, Yucong
    Huang, Mengxing
    Chen, Mingrui
    Li, Jingbin
    Zhou, Hui
    [J]. PARALLEL ARCHITECTURE, ALGORITHM AND PROGRAMMING, PAAP 2017, 2017, 729 : 418 - 426
  • [36] From UML/OCL to SBVR specifications: A challenging transformation
    Cabot, Jordi
    Pau, Raquel
    Raventos, Ruth
    [J]. INFORMATION SYSTEMS, 2010, 35 (04) : 417 - 440
  • [37] Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications
    Petriu, DC
    Shen, H
    [J]. COMPUTER PERFORMANCE EVALUATION: MODELLING TECHNIQUES AND TOOLS, 2002, 2324 : 159 - 177
  • [38] Component-based integration testing from UML interaction diagrams
    Machado, Patricia D. L.
    Figueiredo, Jorge C. A.
    Lima, Emerson F. A.
    Barbosa, Ana E. V.
    Lima, Helton S.
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2944 - 2951
  • [39] Generating structured implementation schemes from UML sequence diagrams
    Selonen, P
    Systä, T
    Koskimies, K
    [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 317 - 328
  • [40] A transformation-based approach to testing concurrent programs using UML activity diagrams
    Sun, Chang-ai
    Zhao, Yan
    Pan, Lin
    He, Xiao
    Towey, Dave
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2016, 46 (04): : 551 - 576
12345