Fixing Generalization Defects in UML Use Case Diagrams

被引:11
|
作者
Dolques, Xavier [1 ]
Huchard, Marianne [2 ,3 ]
Nebut, Clementine [2 ,3 ]
Reitz, Philippe [2 ,3 ]
机构
[1] Ctr Inria Rennes Bretagne Atlantique, INRIA, F-35042 Rennes, France
[2] CNRS, LIRMM, F-34095 Montpellier, France
[3] Univ Montpellier 2, Montpellier, France
关键词
Formal Concept Analysis; UML use case diagrams;
D O I
10.3233/FI-2012-658
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Use case diagrams appear early within a UML-based development, structured over the concepts of actors and use cases to capture user requirements of an application. Good modeling practices suggest that use case diagrams should be simple and easy-to-read, two goals that can be achieved by introducing relevant generalizations of actors and use cases. The approach presented in this paper allows, using Formal Concept Analysis and one of its variants, Relational Concept Analysis, to refactor a use case diagram as a whole in order to make it clearer while respecting the semantics of the original diagram. The relevancy of this approach has been confirmed by its implementation as a tool and the results obtained from its application on several representative diagrams.
引用
收藏
页码:327 / 356
页数:30
相关论文
共 50 条
  • [41] Scrutinizing UML Activity Diagrams
    Al-Fedaghi, Sabah
    INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 59 - 67
  • [42] Querying UML Class Diagrams
    Cali, Andrea
    Gottlob, Georg
    Orsi, Giorgio
    Pieris, Andreas
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
  • [43] A characterization of UML diagrams and their consistency
    Li, Xiaoshan
    ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 67 - 76
  • [44] Reasoning on UML class diagrams
    Berardi, D
    Calvanese, D
    De Giacomo, G
    ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 70 - 118
  • [45] Reduction of UML class diagrams
    Linde, G
    DATABASES AND INFORMATION SYSTEMS II, 2002, : 199 - 208
  • [46] Reasoning with UML class diagrams
    Evans, AS
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
  • [47] Formalization of the UML Class Diagrams
    Osis, Janis
    Donins, Uldis
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
  • [48] Translation UML diagrams into Verilog
    Bazydlo, Grzegorz
    Adamski, Marian
    Stefanowicz, Lukasz
    2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 267 - 271
  • [49] Automatic test case generation from UML State Machine diagrams
    Olianas, Dario
    PROGRAMMING 2019: PROCEEDINGS OF THE CONFERENCE COMPANION OF THE 3RD INTERNATIONAL CONFERENCE ON ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, 2019,
  • [50] UML interaction diagrams:: Correct translation of sequence diagrams into collaboration diagrams
    Cordes, B
    Hölscher, K
    Kreowski, HJ
    APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2003, 3062 : 275 - 291