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 条
  • [31] PRIMA-UML: a performance validation incremental methodology on early UML diagrams
    Cortellessa, V
    Mirandola, R
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (01) : 101 - 129
  • [32] On the role of activity diagrams in UML - A user task centered development process for UML
    Paech, B
    UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 267 - 277
  • [33] Formalization of UML statechart diagrams in the π-calculus
    Lam, VSW
    Padget, J
    2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 223
  • [34] Behavioral consistency validation of UML diagrams
    Litvak, B
    Tyszberowicz, S
    Yehudai, A
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 118 - 125
  • [35] Timing analysis of UML sequence diagrams
    Li, XD
    Lilius, J
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 661 - 674
  • [36] UMLint: Identifying Defects in UML Diagrams
    Hasker, Robert W.
    Rowe, Mike
    2011 ASEE ANNUAL CONFERENCE & EXPOSITION, 2011,
  • [37] Visual integration of UML 2.0 and block diagrams for flexible reconfiguration in MECHATRONIC UML
    Burmester, S
    Giese, H
    2005 IEEE SYMPOSIUM ON VISUAL LANGUAGE AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2005, : 109 - 116
  • [38] Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams
    Moody, Daniel
    van Hillegersberg, Jos
    SOFTWARE LANGUAGE ENGINEERING, 2009, 5452 : 16 - 34
  • [39] Formalize UML 2 Sequence Diagrams
    Shen, Hui
    Virani, Aliya
    Niu, Jianwei
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 437 - 440
  • [40] Organizing UML class diagrams in layers
    Kumar, V
    Deka, JK
    Enabling Technologies for the New Knowledge Society, 2005, : 39 - 55
12345