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 条
  • [41] Transformation rules for UML class diagrams
    Gogolla, M
    Richters, M
    UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 92 - 106
  • [42] A diagramming software for UML class diagrams
    Gutwenger, C
    Jünger, M
    Klein, K
    Kupke, J
    Leipert, S
    Mutzel, P
    GRAPH DRAWING SOFTWARE, 2004, : 257 - 278
  • [43] Improving the testability of UML class diagrams
    Baudry, B
    Le Traon, Y
    Sunyé, G
    IWOTA 2004: 1ST INTERNATIONAL WORKSHOP ON TESTABILITY ASSESSMENT, PROCEEDINGS, 2004, : 70 - 80
  • [44] A Survey of Metrics for UML Class Diagrams
    Genero, Marcela
    Piattini, Mario
    Calero, Coral
    JOURNAL OF OBJECT TECHNOLOGY, 2005, 4 (09): : 59 - 92
  • [45] Mutation Operators for UML Class Diagrams
    Fernanda Granda, Maria
    Condori-Fernandez, Nelly
    Vos, Tanja E. J.
    Pastor, Oscar
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016), 2016, 9694 : 325 - 341
  • [46] Connection between UML use case diagrams and UML class diagrams: a matrix proposal
    Alturas, Braulio
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2023, 72 (03) : 161 - 168
  • [47] Ontology-Based Verification of UML Class/OCL Model
    Hafeez, Abdul
    Musavi, Syed Hyder Abbas
    Rehman, Aqeel Ur
    MEHRAN UNIVERSITY RESEARCH JOURNAL OF ENGINEERING AND TECHNOLOGY, 2018, 37 (04) : 521 - 534
  • [48] Understanding B specifications with UML class diagram and OCL constraints
    Tatibouet, B.
    Jacques, I.
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 475 - +
  • [49] UML/OCL and refinement
    Bhiri, Mohamed Tahar
    Mourad, Kmimech
    Graiet, Mohamed
    Aniorte, Phillipe
    18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, : 149 - 158
  • [50] Supporting collaborative modelling in UML class diagrams
    Cortiana Neto, Raul Antonio
    Farias, Kleinner
    Bischoff, Vinicius
    Goncales, Lucian Jose
    REVISTA BRASILEIRA DE COMPUTACAO APLICADA, 2019, 11 (03): : 39 - 46