Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation

Daniel Fitzner
Additional contact information
Daniel Fitzner: Fraunhofer IGD, Germany

International Journal of Applied Geospatial Research (IJAGR), 2011, vol. 2, issue 1, 18-35

Abstract: Geoprocessing operations offered via web services provide the means for building complex web-based geospatial applications. Often, certain postconditions such as the spatial reference system, bounding box, schema or quality that hold on the output dataset after the execution of a geoprocessing service are determined and derived from the properties of the inputs passed to the service. Further, geoprocesses often hold preconditions that relate to more than one input, such as the requirement that all inputs must have the same schema. Within current process descriptions for geoprocessing operations, such conditions which we call cross-parameter conditions, can not be explicitly specified. In this paper, the author gives an approach to formalize such cross input-output and cross input parameter conditions in a rule-based language. Further, the author proposes an algorithm for deriving pre- and postconditions for a service composition or workflow out of the pre- and postconditions of the services involved, allowing a more automated handling of workflows in general.

Date: 2011
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 4018/jagr.2011010102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jagr00:v:2:y:2011:i:1:p:18-35

Access Statistics for this article

International Journal of Applied Geospatial Research (IJAGR) is currently edited by Donald Patrick Albert

More articles in International Journal of Applied Geospatial Research (IJAGR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().