Object calculus and the object-oriented analysis and design of an error-sensitive GIS

被引：2
|
作者：
Duckham, M [1 ]
机构：
[1] Univ Keele, Dept Comp Sci, Keele ST7 8AA, Staffs, England
来源：
GEOINFORMATICA | 2001年 / 5卷 / 03期
基金：
英国自然环境研究理事会;
关键词：
object-oriented analysis; object-oriented design; object calculus; formal methods; data quality;
D O I：
10.1023/A:1011434131001
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The use of object-oriented analysis and design (OOAD) in GIS research, development and application is now well established. However, the tendency towards informality in OOAD techniques means many of the potential benefits of object-orientation (OO) are being discounted. Recent advances in the formal representation of OO systems may help realize these benefits with respect to some of the key contemporary issues in GIS. This paper examines the application of one particular OO formalism, the; (sigma) calculus of Abadi and Cardelli, to a long-standing unresolved research problem in GIS: the development of an error-sensitive GIS. The work indicates that significant enhancements in the exploration, verification and understanding of OO systems can be achieved through the use of zeta-calculus in support of conventional GOAD techniques.
引用
收藏
页码：261 / 289
页数：29
相关论文
共 50 条
  • [1] Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS
    Matt Duckham
    GeoInformatica, 2001, 5 : 261 - 289
  • [2] AN ANNOTATED-BIBLIOGRAPHY FOR OBJECT-ORIENTED ANALYSIS AND DESIGN
    WEBSTER, S
    INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (09) : 569 - 582
  • [3] ENTITY MODELS TO OBJECT MODELS - OBJECT-ORIENTED ANALYSIS AND DATABASE DESIGN
    BEYNONDAVIES, P
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (04) : 255 - 262
  • [4] IMPROVING OBJECT-ORIENTED ANALYSIS
    ECKERT, G
    GOLDER, P
    INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (02) : 67 - 86
  • [5] ON THE PURPOSE OF OBJECT-ORIENTED ANALYSIS
    HOYDALSVIK, GM
    SINDRE, G
    SIGPLAN NOTICES, 1993, 28 (10): : 240 - 255
  • [6] Object-oriented analysis of ELIMINO
    Lin D.
    Liu Z.
    Journal of Computer Science and Technology, 1999, 14 (5) : 487 - 494
  • [7] OBJECT-ORIENTED ANALYSIS AS DESIGN - A CASE-STUDY
    ZUALKERNAN, IA
    TSAI, WT
    JEMIE, A
    WEN, IC
    DRAKE, JM
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1992, 2 (04) : 489 - 521
  • [8] Object-Oriented Design Process Model
    Din, Jamilah
    Idris, Sufian
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (10): : 71 - 79
  • [9] OBJECT-ORIENTED DESIGN - GUIDELINES AND TECHNIQUES
    CAPRETZ, LF
    LEE, PA
    INFORMATION AND SOFTWARE TECHNOLOGY, 1993, 35 (04) : 195 - 206
  • [10] Timing constraints and object-oriented design
    Hermeling, M
    van Roosmalen, O
    Selic, B
    REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 39 - 44
12345