By Topic

Formal specification of geographic data processing requirements

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Roman, G. ; Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA

A formal foundation for the specification of geographic data processing (GDP) requirements is established. Emphasis is on modeling data and knowledge requirements rather than processing needs. A subset of first-order logic is proposed as the principal means for constructing formalizations of the GDP requirements in a manner that is independent of the data representation. Requirements executability is achieved by selecting a subset of logic, compatible with the inference mechanisms available in Prolog. Concepts with GDP significance such as time, space, and accuracy are added for the formalization without losing Prolog implementability or separation of concerns. Rules of reasoning about time, space, and accuracy can be compactly stated in a subset of second-order predicate calculus and can be easily modified to meet the particular needs of a specific application. The feasibility of the approach is established with the aid of a prototype implementation of the formalism in Prolog. The implementation also provides the means for the graphical rendering of logical information on a high-resolution color display

Published in:

Knowledge and Data Engineering, IEEE Transactions on  (Volume:2 ,  Issue: 4 )