Abstract

Abstract This paper describes a generic structure model for large numbers of spatially-related images held within a multi-media information system. Applications vary from multi-scale map tilings underlying geographical information system user interfaces to sets of spatially-related visual data held in image form, such as ‘structured walks’ and sets of views with finder maps. The model enables an abstract structure to be soft-configured onto any indexed collection of images and related to standard databases of textual and graphical information at various levels. This is achieved by defining a number of customized ‘image structures’ and providing techniques for their manipulation. Key features of the model are defined in VDM-SL, a formal specification language being standardized by the International Organization for Standardization. The formal definitions are accompanied by explanations in English and by examples. Prototype implementations are described. A glossary of symbols, terms and expressions is given in the Appendix.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call