{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:48:45Z","timestamp":1761562125496,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319421100"},{"type":"electronic","value":"9783319421117"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42111-7_12","type":"book-chapter","created":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T06:04:05Z","timestamp":1467353045000},"page":"134-150","source":"Crossref","is-referenced-by-count":13,"title":["Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts"],"prefix":"10.1007","author":[{"given":"Samih","family":"Al-Areqi","sequence":"first","affiliation":[]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,1]]},"reference":[{"key":"12_CR1","unstructured":"OGC Web services standards. http:\/\/www.opengeospatial.org\/standards . Accessed 30 Feb 2016"},{"key":"12_CR2","unstructured":"Al-Areqi, S., Kriewald, S., Lamprecht, A.L., Reusser, D., Wrobel, M., Margaria, T.: Agile workflows for climate impact risk assessment based on the ci:grasp platform and the jABC modeling framework. In: International Environmental Modelling and Software Society (iEMSs). 7th Intl. Congress on Env. Modelling and Software (2014)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/978-3-662-45231-8_33","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"S Al-Areqi","year":"2014","unstructured":"Al-Areqi, S., Kriewald, S., Lamprecht, A.-L., Reusser, D., Wrobel, M., Margaria, T.: Towards a flexible assessment of climate impacts: the example of agile workflows for the ci:grasp platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 420\u2013435. Springer, Heidelberg (2014)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-63238-7_33","volume-title":"Advances in Spatial Databases","author":"G Alonso","year":"1997","unstructured":"Alonso, G., Hagen, C.: Geo-opera: workflow concepts for spatial processes. In: Scholl, M.O., Voisard, A. (eds.) SSD 1997. LNCS, vol. 1262, pp. 238\u2013258. Springer, Heidelberg (1997)"},{"issue":"4","key":"12_CR5","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1016\/j.cageo.2007.12.018","volume":"35","author":"Y Bai","year":"2009","unstructured":"Bai, Y., Di, L., Wei, Y.: A taxonomy of geospatial services for global service discovery and interoperability. Comput. Geosci. 35(4), 783\u2013790 (2009)","journal-title":"Comput. Geosci."},{"issue":"1\u20132","key":"12_CR6","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10584-007-9346-0","volume":"87","author":"L Bernard","year":"2008","unstructured":"Bernard, L., Ostl\u00e4nder, N.: Assessing climate change vulnerability in the arctic using geographic information services in spatial data infrastructures. Clim. Change 87(1\u20132), 263\u2013281 (2008)","journal-title":"Clim. Change"},{"issue":"3","key":"12_CR7","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/j.cageo.2009.06.013","volume":"36","author":"N Chen","year":"2010","unstructured":"Chen, N., Di, L., Yu, G., Gong, J.: Geo-processing workflow driven wildfire hot pixel detection under sensor web environment. Comput. Geosci. 36(3), 362\u2013372 (2010)","journal-title":"Comput. Geosci."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/j.cageo.2011.11.020","volume":"47","author":"SA Cruz","year":"2012","unstructured":"Cruz, S.A., Monteiro, A.M., Santos, R.: Automated geospatial web services composition based on geodata quality requirements. Comput. Geosci. 47, 60\u201374 (2012)","journal-title":"Comput. Geosci."},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1080\/14498596.2013.815148","volume":"58","author":"M Farnaghi","year":"2013","unstructured":"Farnaghi, M., Mansourian, A.: Automatic composition of WSMO based geospatial semantic web services using artificial intelligence planning. J. Spat. Sci. 58(2), 235\u2013250 (2013)","journal-title":"J. Spat. Sci."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Foerster, T., Schaeffer, B., Brauner, J., Jirka, S.: Integrating OGC web processing services into geospatial mass-market applications. In: International Conference on Advanced Geographic Information Systems and Web Services, 2009, GEOWS 2009, pp. 98\u2013103. IEEE (2009)","DOI":"10.1109\/GEOWS.2009.19"},{"key":"12_CR11","first-page":"192","volume":"3","author":"M Gone","year":"2008","unstructured":"Gone, M., Schade, S.: Towards semantic composition of geospatial web services-using WSMO instead of BPEL. Int. J. Spat. Data Infrastruct. Res. 3, 192\u2013214 (2008)","journal-title":"Int. J. Spat. Data Infrastruct. Res."},{"issue":"2","key":"12_CR12","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/j.envsoft.2009.08.005","volume":"25","author":"C Granell","year":"2010","unstructured":"Granell, C., D\u00edaz, L., Gould, M.: Service-oriented applications for environmental models: reusable geospatial services. Environ. Model. Softw. 25(2), 182\u2013198 (2010)","journal-title":"Environ. Model. Softw."},{"issue":"5","key":"12_CR13","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MIC.2006.106","volume":"10","author":"C Granell","year":"2006","unstructured":"Granell, C., Lemmens, R., Gould, M., Wytzisk, A., De By, R., Van Oosterom, P.: Integrating semantic and syntactic descriptions to chain geographic services. IEEE Internet Comput. 10(5), 42\u201352 (2006)","journal-title":"IEEE Internet Comput."},{"issue":"2","key":"12_CR14","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1109\/TASE.2008.2010626","volume":"7","author":"G Hobona","year":"2010","unstructured":"Hobona, G., Fairbairn, D., Hiden, H., James, P.: Orchestration of grid-enabled geospatial web services in geoscientific workflows. IEEE Trans. Autom. Sci. Eng. 7(2), 407\u2013411 (2010)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"12_CR15","unstructured":"Jaeger, E., Altintas, I., Zhang, J., Lud\u00e4scher, B., Pennington, D., Michener, W.: A scientific workflow approach to distributed geospatial data processing using web services. In: SSDBM, Citeseer, pp. 87\u201390 (2005)"},{"key":"12_CR16","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-540-88479-8_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"G Jung","year":"2009","unstructured":"Jung, G., Margaria, T., Nagel, R., Schubert, W., Steffen, B., Voigt, H.: SCA and jABC: bringing a service-oriented paradigm to web-service construction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 139\u2013154. Springer, Heidelberg (2009)"},{"key":"12_CR17","unstructured":"Kilibarda, M.: A plotGoogleMaps tutorial (2013)"},{"issue":"1","key":"12_CR18","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.compenvurbsys.2005.04.002","volume":"30","author":"E Klien","year":"2006","unstructured":"Klien, E., Lutz, M., Kuhn, W.: Ontology-based discovery of geographic information services an application in disaster management. Comput. Environ. Urban Syst. 30(1), 102\u2013123 (2006)","journal-title":"Comput. Environ. Urban Syst."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Klusch, M., Gerber, A., Schmidt, M.: Semantic web service composition planning with OWLS-Xplan. In: Proceedings of the AAAI Fall Symposium on Semantic Web and Agents. AAAI Press, Arlington (2005)","DOI":"10.1109\/WI-IATW.2006.68"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/11586180_13","volume-title":"GeoSpatial Semantics","author":"D Kolas","year":"2005","unstructured":"Kolas, D., Hebeler, J., Dean, M.: Geospatial semantic web: architecture of ontologies. In: Rodr\u00edguez, M.A., Cruz, I., Levashkin, S., Egenhofer, M. (eds.) GeoS 2005. LNCS, vol. 3799, pp. 183\u2013194. Springer, Heidelberg (2005)"},{"key":"12_CR21","unstructured":"Kriewald, S.: srtmtools: SRTM tools, r package version 2013\u201300.0.1 (2013)"},{"key":"12_CR22","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-1-84628-827-2_2","volume-title":"The Geospatial Web","author":"R Lake","year":"2007","unstructured":"Lake, R., Farley, J.: Infrastructure for the geospatial web. In: Scharl, A., Tochtermann, K. (eds.) The Geospatial Web, pp. 15\u201326. Springer, Heidelberg (2007)"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"User-Level Workflow Design - A Bioinformatics Perspective","year":"2013","unstructured":"Lamprecht, A.-L. (ed.): User-Level Workflow Design - A Bioinformatics Perspective. LNCS, vol. 8311. Springer, Heidelberg (2013)"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: 2010 Seventh International Conference on the Quality of Information and Communications Technology (QUATIC), pp. 262\u2013267. IEEE (2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Li, H., Wang, Y., Cheng, P.: Semantic description for the taxonomy of the geospatial services. Boletim de Ci\u00eancias Geod\u00e9sicas 21(3) (2015)","DOI":"10.1590\/S1982-21702015000300029"},{"key":"12_CR26","doi-asserted-by":"crossref","first-page":"403","DOI":"10.5194\/esdd-5-403-2014","volume":"5","author":"TK Lissner","year":"2014","unstructured":"Lissner, T.K., Reusser, D.E., Schewe, J., Lakes, T., Kropp, J.P.: Climate impacts on human livelihoods: where uncertainty matters in projections of water availability. Earth Syst. Dyn. Discuss. 5, 403\u2013442 (2014)","journal-title":"Earth Syst. Dyn. Discuss."},{"issue":"10","key":"12_CR27","doi-asserted-by":"crossref","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B Lud\u00e4scher","year":"2006","unstructured":"Lud\u00e4scher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M., Lee, E.A., Tao, J., Zhao, Y.: Scientific workflow management and the Kepler system. Concurrency Comput. Pract. Experience 18(10), 1039\u20131065 (2006)","journal-title":"Concurrency Comput. Pract. Experience"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/978-3-540-31980-1_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Margaria","year":"2005","unstructured":"Margaria, T., Nagel, R., Steffen, B.: jETI: a tool for remote tool integration. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 557\u2013562. Springer, Heidelberg (2005). http:\/\/www.springerlink.com\/content\/h9x6m1x21g5lknkx"},{"key":"12_CR29","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012). http:\/\/dx.doi.org\/10.1007\/978-1-4471-2297-5_10"},{"issue":"4","key":"12_CR30","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/S1364-8152(02)00073-7","volume":"18","author":"MJ Mineter","year":"2003","unstructured":"Mineter, M.J., Jarvis, C., Dowers, S.: From stand-alone programs towards grid-aware services and components: a case study in agricultural modelling with interpolated climate data. Environ. Model. Softw. 18(4), 379\u2013391 (2003)","journal-title":"Environ. Model. Softw."},{"key":"12_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/978-3-642-28872-2_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S Naujokat","year":"2012","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 94\u201398. Springer, Heidelberg (2012)"},{"key":"12_CR32","unstructured":"Pratt, A., Peters, C., Siddeswara, G., Lee, B., Terhorst, A.: Exposing the Kepler scientific workflow system as an OGC web processing service. In: Proceedings of iEMSs (International Environmental Modelling and Software Society) Congress (2010)"},{"key":"12_CR33","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/j.compenvurbsys.2012.08.001","volume":"37","author":"V Rautenbach","year":"2013","unstructured":"Rautenbach, V., Coetzee, S., Iwaniak, A.: Orchestrating OGC web services to produce thematic maps in a spatial information infrastructure. Comput. Environ. Urban Syst. 37, 107\u2013120 (2013)","journal-title":"Comput. Environ. Urban Syst."},{"key":"12_CR34","unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module configuration by minimal model construction. Technical report, Fakultr Mathematik und Informatik, Universit Passau (1993)"},{"key":"12_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007). http:\/\/dx.doi.org\/10.1007\/978-3-540-70889-6_7"},{"key":"12_CR36","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/978-3-642-41151-9_45","volume-title":"Environmental Software Systems","author":"M Wrobel","year":"2013","unstructured":"Wrobel, M., Bisaro, A., Reusser, D., Kropp, J.P.: Novel approaches for web-based access to climate change adaptation information \u2013 MEDIATION adaptation platform and ci:grasp-2. In: H\u0159eb\u00ed\u010dek, J., Schimak, G., Kub\u00e1sek, M., Rizzoli, A.E. (eds.) ISESS 2013. IFIP AICT, vol. 413, pp. 489\u2013499. Springer, Heidelberg (2013). http:\/\/dx.doi.org\/10.1007\/978-3-642-41151-9_45"},{"key":"12_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-6809-7","volume-title":"Semantic Web-Based Intelligent Geospatial Web Services","author":"P Yue","year":"2013","unstructured":"Yue, P.: Semantic Web-Based Intelligent Geospatial Web Services. Springer, New York (2013)"},{"issue":"3","key":"12_CR38","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/s12145-015-0229-z","volume":"8","author":"P Yue","year":"2015","unstructured":"Yue, P., Baumann, P., Bugbee, K., Jiang, L.: Towards intelligent GIServices. Earth Sci. Inf. 8(3), 463\u2013481 (2015)","journal-title":"Earth Sci. Inf."},{"issue":"5","key":"12_CR39","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1016\/j.cageo.2006.09.003","volume":"33","author":"P Yue","year":"2007","unstructured":"Yue, P., Di, L., Yang, W., Yu, G., Zhao, P.: Semantics-based automatic composition of geospatial web service chains. Comput. Geosci. 33(5), 649\u2013665 (2007)","journal-title":"Comput. Geosci."},{"key":"12_CR40","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-319-17801-1_2","volume-title":"Geospatial Semantic Web","author":"C Zhang","year":"2015","unstructured":"Zhang, C., Zhao, T., Li, W.: Conceptual frameworks of geospatial semantic web. In: Zhang, C., Zhao, T., Li, W. (eds.) Geospatial Semantic Web, pp. 35\u201356. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications -- ICCSA 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42111-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T10:25:33Z","timestamp":1568111133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42111-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319421100","9783319421117"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42111-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}