SUBTYPING AND POLYMORPHISM IN OBJECT-ROLE MODELING

被引:28
作者
HALPIN, TA [1 ]
PROPER, HA [1 ]
机构
[1] UNIV QUEENSLAND, DEPT COMP SCI, ASYMETRIX RES LAB, ST LUCIA, QLD 4072, AUSTRALIA
基金
澳大利亚研究理事会;
关键词
OBJECT-ROLE MODELING; CONCEPTUAL MODELING; INFORMATION SYSTEMS; SUBTYPING; POLYMORPHISM;
D O I
10.1016/0169-023X(95)00005-D
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Although Entity-Relationship (ER) modelling techniques are commonly used for information modelling, Object-Role Modelling (ORM) techniques are becoming increasingly popular, partly because they include detailed design procedures providing guidelines for the modeller. As with the ER approach, a number of different ORM techniques exist. In this paper, we propose an integration of two theoretically well founded ORM techniques: FORM and PSM. Our main focus is on a common terminological framework, and on the notion of subtyping. Subtyping has long been an important feature of semantic approaches to conceptual schema design. It is also the concept in which FORM and PSM differ the most in their formalization. The subtyping issue is discussed from three different viewpoints covering syntactical, identification, and population issues. Finally, a wider comparison of approaches to subtyping is made, which encompasses other ER-based and ORM-based information modelling techniques, and highlights how formal subtype definitions facilitate a comprehensive specification of subtype constraints.
引用
收藏
页码:251 / 281
页数:31
相关论文
共 53 条
[31]  
ter Hofstede, Proper, van der Weide, Data modelling in complex application domains, Proc. Fourth Int. Conf. CAiSE'92 on Advanced Information Systems Engineering, 593, pp. 364-377, (1992)
[32]  
Hubbers, Automated support for verification & validation of graphical constraints in PSM, Technical Report 93/01, (1993)
[33]  
Wijers, Heijes, Automated support of the modelling process: a view based on experiments with expert information engineers, Proc. Second Nordic Conf. CAiSE'90 on Advanced Information Systems Engineering, 436, pp. 88-108, (1990)
[34]  
Cardelli, Wegner, On understanding types, data abstraction, and polymorphism, ACM Comput. Surveys, 17, 4, pp. 471-522, (1985)
[35]  
Korson, McGregor, Understanding object oriented A unifying paradigm, Communications of the ACM, 33, 9, pp. 40-60, (1990)
[36]  
ter Hofstede, Information modelling in data intensive domains, PhD thesis, (1993)
[37]  
Halpin, McCormack, Automated validation of conceptual schema constraints, Proc. Fourth Int. Conf. CAiSE'92 on Advanced Information Systems Engineering, 593, pp. 364-377, (1992)
[38]  
van Griethuysen, Concepts and Terminology for the Conceptual Schema and the Information Base, Publ. nr. ISO/TC97/SC5-N695, (1982)
[39]  
Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics, (1977)
[40]  
ter Hofstede, van der Weide, Fact orientation in complex object role modelling techniques, Proc. First Int. Conf. on Object-Role Modelling (ORM-1), pp. 45-59, (1994)