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 条
  • [21] Formalization of the UML Class Diagrams
    Osis, Janis
    Donins, Uldis
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
  • [22] Translation UML diagrams into Verilog
    Bazydlo, Grzegorz
    Adamski, Marian
    Stefanowicz, Lukasz
    2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 267 - 271
  • [23] UML4ALL Syntax - A Textual Notation for UML Diagrams
    Loitsch, Claudia
    Mueller, Karin
    Seifermann, Stephan
    Henss, Joerg
    Krach, Sebastian
    Jaworek, Gerhard
    Stiefelhagen, Rainer
    COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PT I, 2018, 10896 : 598 - 605
  • [24] UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams
    Chanda, Jayeeta
    Kanjilal, Ananya
    Sengupta, Sabnam
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2010, 5966 : 194 - 205
  • [25] QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants
    Wu, Hao
    SCIENCE OF COMPUTER PROGRAMMING, 2023, 228
  • [26] Tool Support to Deriving Test Scenarios from UML Activity Diagrams
    Xu, Dong
    Liu, Wei
    Liu, Zongtian
    Philbert, Nduwimfura
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 73 - 76
  • [27] A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams
    Gomez-Gutierrez, Juan Antonio
    Clariso, Robert
    Cabot, Jordi
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2022, 450 : 267 - 275
  • [28] A tool for automatic transformation between SOFL class specifications and UML diagrams
    Liu, Shaoying
    Kagiyama, Satoshi
    PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 105 - +
  • [29] A New Tool to Check the Coherence of Constraints Defined on UML Class Diagrams
    Berrabah, Djamel
    Boufares, Faouzi
    Ducateau, Charles-Francois
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (8B): : 162 - 171
  • [30] A tool to support Bluespec System Verilog coding based on UML diagrams
    Durand, Sergio H. M.
    Bonato, Vanderlei
    38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 4670 - 4675