UML Miner: a tool for mining UML diagrams

被引:2
|
作者
Ardimento, Pasquale [1 ]
Aversano, Lerina [2 ]
Bernardi, Mario Luca [2 ]
Carella, Vito Alessandro [1 ]
Cimitile, Marta [3 ]
Scalera, Michele [1 ]
机构
[1] Univ Bari Aldo Moro, Comp Sci Dept, Bari, Italy
[2] Univ Sannio, Dept Engn, Benvento, Italy
[3] UnitelmaSapienza Univ, Dept Law & Digital Soc, Rome, Italy
来源
2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C | 2023年
关键词
process mining; UML; software modeling; process discovery; conformance checking;
D O I
10.1109/MODELS-C59198.2023.00014
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Modeling is a key activity in conceptual design and system design, learning and understanding modeling languages such as the Unified Modeling Language (UML) is important. Current UML learning applications and gamification-based alternatives lack guidance for novice modelers regarding possible modeling activities. To overcome this problem, in this demo paper, we present a tool called UML Miner, implemented as a plug-in, that evaluates all UML diagrams realized in the Visual Paradigm environment. UML Miner records all modeling events used in a modeling software project as event logs. By analyzing event logs generated from the use of Visual Paradigm, UML Miner can perform conformance checking to provide useful tips to modelers. These tips are based on the UML model created by highly skilled modelers. In particular, UML Miner can compare different modeling process executions through conformance checking and identify behavioral similarities and differences. The goal of this approach is to improve learner motivation and increase learning outcomes.
引用
收藏
页码:30 / 34
页数:5
相关论文
共 50 条
  • [1] Tool support for verifying UML activity diagrams
    Eshuis, R
    Wieringa, R
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (07) : 437 - 447
  • [2] Tool Support for Consistency Verification of UML Diagrams
    Phuklang, Salilthip
    Yokogawa, Tomoyuki
    Leelaprute, Pattara
    Arimoto, Kazutami
    PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT (PROFES 2017), 2017, 10611 : 606 - 609
  • [3] A Formal Verification Tool for UML Behavioral Diagrams
    Rebelo dos Santos, Luciana Brasil
    Eras, Eduardo Rohde
    de Santiago Junior, Valdivino Alexandre
    Vijaykumar, Nandamudi Lankalapalli
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 696 - 711
  • [4] Logical Reasoning with Object Diagrams in a UML and OCL Tool
    Khanh-Hoang Doan
    Gogolla, Martin
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018, 2018, 10871 : 774 - 778
  • [5] Tool Support for Measuring Complexity of UML Class Diagrams
    Yi Tong
    ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 1005 - 1008
  • [6] Tool-supported compression of UML class diagrams
    Rácz, FD
    Koskimies, K
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 172 - 187
  • [7] UML Acceptance: Analyzing the Students' Perception of UML Diagrams
    Lopes, Adriana
    Steinmacher, Igor
    Conte, Tayana
    PROCEEDINGS OF THE XXXIII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, SBES 2019, 2019, : 264 - 272
  • [8] Visual clutter reduction for UML component diagrams: A tool presentation
    Holy, Lukas
    Snajberk, Jaroslav
    Brada, Premek
    2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), 2012, : 253 - 254
  • [9] UML tool
    不详
    EXPERT SYSTEMS, 1997, 14 (03) : 159 - 159
  • [10] A dynamic analysis tool for extracting UML 2 sequence diagrams
    Falcarin, Paolo
    Torchiano, Marco
    ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2006, : 171 - 176