The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation
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.
Related Content
Salwa Saidi, Anis Ghattassi, Samar Zaggouri, Ahmed Ezzine.
© 2021.
19 pages.
|
Mehmet Sevkli, Abdullah S. Karaman, Yusuf Ziya Unal, Muheeb Babajide Kotun.
© 2021.
29 pages.
|
Soumaya Elhosni, Sami Faiz.
© 2021.
13 pages.
|
Symphorien Monsia, Sami Faiz.
© 2021.
20 pages.
|
Sana Rekik.
© 2021.
9 pages.
|
Oumayma Bounouh, Houcine Essid, Imed Riadh Farah.
© 2021.
14 pages.
|
Mustapha Mimouni, Nabil Ben Khatra, Amjed Hadj Tayeb, Sami Faiz.
© 2021.
18 pages.
|
|
|