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 条
  • [41] ADVANCES IN OBJECT-ORIENTED DESIGN
    KLOCKNER, K
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 253 - 253
  • [42] Object-oriented flow design
    Kauler, B
    DR DOBBS JOURNAL, 1996, 21 (10): : 54 - +
  • [43] OBJECT-ORIENTED DESIGN AND SMALLTALK
    不详
    HEWLETT-PACKARD JOURNAL, 1992, 43 (05): : 24 - 24
  • [44] THE PROCESS OF OBJECT-ORIENTED DESIGN
    DECHAMPEAUX, D
    LEA, D
    FAURE, P
    SIGPLAN NOTICES, 1992, 27 (10): : 45 - 62
  • [45] Guiding object-oriented design
    MacDonald, A
    Carrington, D
    TOOLS 28: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 28 : 88 - 100
  • [46] Object-oriented approaches applied to GIS development
    Acta Polytech Scand Math Comput Eng Ser, 75
  • [47] OBJECT-ORIENTED MODELING IN GIS - INHERITANCE AND PROPAGATION
    EGENHOFER, MJ
    FRANK, AU
    AUTO CARTO 9 : NINTH INTERNATIONAL SYMPOSIUM ON COMPUTER-ASSISTED CARTOGRAPHY, 1989, : 588 - 598
  • [48] Dasymetric mapping with object-oriented classification and GIS
    Sim, SH
    Clarke, K
    IGARSS 2005: IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, VOLS 1-8, PROCEEDINGS, 2005, : 4991 - 4992
  • [49] Of maps and macros: object-oriented spreadsheet GIS
    Cole, S
    ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 1998, 25 (02): : 227 - 243
  • [50] OBJECT-ORIENTED PROGRAMMING WITHOUT AN OBJECT-ORIENTED LANGUAGE
    BOOCH, G
    SEIDEWITZ, E
    START, M
    FIRESMITH, D
    SIGPLAN NOTICES, 1986, 21 (11): : 508 - 508
12345