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 条
  • [1] Refactoring OCL annotated UML class diagrams
    Slaviša Marković
    Thomas Baar
    Software & Systems Modeling, 2008, 7 : 25 - 47
  • [2] Reasoning on UML class diagrams with OCL constraints
    Queralt, Anna
    Teniente, Ernest
    CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +
  • [3] Refactoring OCL annotated UML class diagrams
    Markovic, Slavisa
    Baar, Thomas
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (01): : 25 - 47
  • [4] Refactoring OCL annotated UML class diagrams
    Markovic, SA
    Baar, T
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 280 - 294
  • [5] A feedback technique for unsatisfiable UML/OCL class diagrams
    Shaikh, Asadullah
    Wiil, Uffe Kock
    SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (11): : 1379 - 1393
  • [6] On the verification of UML/OCL class diagrams using constraint programming
    Cabot, J.
    Clariso, R.
    Riera, D.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 93 : 1 - 23
  • [7] Smart Bound Selection for the Verification of UML/OCL Class Diagrams
    Clariso, Robert
    Gonzalez, Carlos A.
    Cabot, Jordi
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2019, 45 (04) : 412 - 426
  • [8] Constraints checking in UML class diagrams:: SQL vs OCL
    Berrabah, D.
    Boufares, F.
    DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2007, 4653 : 593 - +
  • [9] Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
    Garis, Ana
    Cunha, Alcino
    Riesco, Daniel
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 221 - +
  • [10] Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams using Filmstripping
    Hilken, Frank
    Gogolla, Martin
    19TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2016), 2016, : 708 - 713