Formalizing Parameter Constraints to Support Intelligent Geoprocessing: A SHACL-Based Method · Study