Towards Understanding of Classes versus Data Types in Conceptual Modeling and UML

被引:1
作者
Milicev, Dragan [1 ]
机构
[1] Univ Belgrade, Fac Elect Engn, Dept Comp, Belgrade 11120, Serbia
关键词
conceptual modeling; Unified Modeling Language (UML); formal semantics; class; data type; entity; relationship; object identity; identification; association; attribute; FORMAL SEMANTICS; ASSOCIATIONS;
D O I
10.2298/CSIS110716006M
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Traditional conceptual modeling and UML take different vague, ambiguous, and apparently incompatible approaches to making a distinction between two different entity types - classes and data types. In this paper, an in-depth theoretical study of these ambiguities and discrepancies is given and a new semantic interpretation is proposed for consolidation. The interpretation is founded on the premise that populations of the two kinds of entity types are defined in two substantially different ways: by intensional (for data types) and extensional (for classes) definitions. The notion of a generative relationship set is introduced to explain the role of specific relationship types that are used to define populations of structured data types by cross-combinations of populations of the related entity types. Finally, some important semantic consequences are described through the proposed interpretation: value-based vs. object-based semantics, associations vs. attributes, and identity vs. identification. The given interpretation is based on runtime semantics and allows for fully unambiguous discrimination of the related concepts, yet it fits into intuitive understanding and common practical usage of these concepts.
引用
收藏
页码:505 / 538
页数:34
相关论文
共 24 条
[1]   Formalization of the whole-part relationship in the unified modeling language [J].
Barbier, F ;
Henderson-Sellers, B ;
Le Parc-Lacayrelle, A ;
Bruel, JM .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (05) :459-470
[2]  
Beeri C., 1990, Data & Knowledge Engineering, V5, P353, DOI 10.1016/0169-023X(90)90020-E
[3]   A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS [J].
BOURDEAU, RH ;
CHENG, BHC .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) :799-821
[4]   Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling [J].
Diskin, Z ;
Kadish, B .
DATA & KNOWLEDGE ENGINEERING, 2003, 47 (01) :1-59
[5]  
Diskin Z, 2006, LECT NOTES COMPUT SC, V4199, P230
[6]   A problem-oriented analysis of basic UML static requirements modeling concepts [J].
France, RB .
ACM SIGPLAN NOTICES, 1999, 34 (10) :57-69
[7]  
GENOVA G, 2004, J OBJECT TECHNOLOGY, V3, P83
[8]  
Genova G., 2002, SOFTW SYST MODEL, V1, P86
[9]  
GOGOLLA M, 2000, COOP INFORMAT SYST, P255
[10]  
Guttag J. V., 2002, SOFTWARE PIONEERS