A relational model for object-oriented designs

被引:0
|
作者
He, JF
Liu, ZM
Li, XS
Qin, SC
机构
[1] Univ Leicester, Dept Math & Comp Sci, Leicester LE1 7RH, Leics, England
[2] Natl Univ Singapore, Singapore MIT Alliance, Singapore 117548, Singapore
[3] Natl Univ Singapore, Dept Comp Sci, Singapore 117548, Singapore
关键词
object orientation; refinement; semantics; UTP;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich variety of features including subtypes, visibility, inheritance, dynamic binding and polymorphism. The language is expressive enough for the specification of object-oriented designs and programs. We also propose a calculus based on this model to support both structural and behavioural refinement of object-oriented designs. We take the approach of the development of the design calculus based on the standard predicate logic in Hoare and He's Unifying Theories of Programming (UTP). We also consider object reference in terms of object identity as values and mutually dependent methods.
引用
收藏
页码:415 / 436
页数:22
相关论文
共 50 条
  • [21] An object-oriented approach for transformation of spatial data from relational database to object-oriented database
    Kiong, ST
    Chai, WY
    DIGITAL LIBRARIES: TECHNOLOGY AND MANAGEMENT OF INDIGENOUS KNOWLEDGE FOR GLOBAL ACCESS, 2003, 2911 : 533 - 543
  • [22] FROM RELATIONAL TO OBJECT-ORIENTED INTEGRITY SIMPLIFICATION
    JEUSFELD, M
    JARKE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 460 - 477
  • [23] Migration from relational to object-oriented databases
    Univ of Central Lancashire, Preston, United Kingdom
    Inf Software Technol, 7 (467-475):
  • [24] Integrate relational database and object-oriented database
    Dunren, Ch.
    Lizhu, Zh.
    1996, Editorial Department of Journal of Software, Beijing, China (07):
  • [25] Relational vs. object-oriented databases
    Duvillier, É
    TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 367 - 367
  • [26] COMan - Coexistence of object-oriented and relational technology
    Kappel, G
    Preishuber, S
    Proll, E
    RauschSchott, S
    Retschitzegger, W
    Wagner, R
    Gierlinger, C
    ENTITY-RELATIONSHIP APPROACH - ER '94, 1994, 881 : 259 - 277
  • [27] Migration from relational to object-oriented databases
    Monk, S
    Mariani, JA
    Elgalal, B
    Campbell, H
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (07) : 467 - 475
  • [28] Security Metrics for Object-Oriented Class Designs
    Alshammari, Bandar
    Fidge, Colin
    Corney, Diane
    2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 11 - 20
  • [29] Evaluating object-oriented designs with link analysis
    Chatzigeorgiou, A
    Xanthos, S
    Stephanides, G
    ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 656 - 665
  • [30] Evidential diagnosis of inconsistencies in object-oriented designs
    Spanoudakis, G
    Kasis, K
    Dragazi, F
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2004, 14 (02) : 141 - 178