Expressing UML class diagrams properties with OCL

被引:0
|
作者
Gogolla, M [1 ]
Richters, M [1 ]
机构
[1] Univ Bremen, FB 3, Dept Comp Sci, D-28334 Bremen, Germany
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The Unified Modeling Language UML is a complex language offering many modeling features. Especially the description of static structures with class diagrams is supported by a rich set of primitives. This paper shows how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only binary associations and OCL constraints. Thus we provide a better understanding of UML features. By reducing more complex features in terms of basic ones, we suggest an easy way users can gradually extend the set of UML elements they commonly apply in the modeling process.
引用
收藏
页码:85 / 114
页数:30
相关论文
共 50 条
  • [21] QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants
    Wu, Hao
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 310 - 317
  • [22] Expressing Measurement Uncertainty in OCL/UML Datatypes
    Bertoa, Manuel F.
    Moreno, Nathalie
    Barquero, Gala
    Burgueno, Loli
    Troya, Javier
    Vallecillo, Antonio
    MODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018), 2018, 10890 : 46 - 62
  • [23] 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
  • [24] Formal Definition of Measures for UML Statechart Diagrams Using OCL
    Reynoso, Luis
    Antonio Cruz-Lemus, Juan
    Genero, Marcela
    Piattini, Mario
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 846 - +
  • [25] Meta-validation of UML diagrams using OCL rules
    Ha, IK
    Kang, BW
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 660 - 666
  • [26] Optimizing UML Class Diagrams
    Sergievskiy, Maxim
    Kirpichnikova, Ksenia
    7TH SEMINAR ON INDUSTRIAL CONTROL SYSTEMS: ANALYSIS, MODELING AND COMPUTING (ICS 2018), 2018, 18
  • [27] 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
  • [28] Reasoning on UML class diagrams
    Berardi, D
    Calvanese, D
    De Giacomo, G
    ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 70 - 118
  • [29] Reduction of UML class diagrams
    Linde, G
    DATABASES AND INFORMATION SYSTEMS II, 2002, : 199 - 208
  • [30] Reasoning with UML class diagrams
    Evans, AS
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113