Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform

Samih Al-Areqi; Steffen Kriewald; Anna Lena Lamprecht; Dominik Reusser; Markus Wrobel; Tiziana Margaria

doi:10.1007/978-3-662-45231-8_33

Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform

Samih Al-Areqi
, Steffen Kriewald
, Anna Lena Lamprecht
, Dominik Reusser
, Markus Wrobel
, Tiziana Margaria

University of Potsdam
Potsdam Institute for Climate Impact Research

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

The Climate Impacts: Global and Regional Adaptation Support Platform (ci:grasp) is a web-based climate information service for exploring climate change related information in its geographical context. We have used the jABC workflow modeling and execution framework to make flexibilized versions of the processes implemented in ci:grasp available to the scientific community. The jABC permits us to leverage the processes to an easily accessible conceptual level, which enables users to flexibly define and adapt workflows according to their specific needs. The workflows are suitable as graphical documentation of the processes and are directly repeatable and reusable, which facilitates reproducibility of results and eventually increases the productivity of researchers working on climate impact risk assessment. In this paper, we use variations of workflows for the assessment of the impacts of sea-level rise to demonstrate the flexibility we gained by following this approach.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings
Editors	Tiziana Margaria, Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	420-435
Number of pages	16
ISBN (Electronic)	9783662452301
DOIs	https://doi.org/10.1007/978-3-662-45231-8_33
Publication status	Published - 2014
Externally published	Yes
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8803
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Country/Territory	Greece
City	Imperial, Corfu
Period	8/10/14 → 11/10/14

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 13 Climate Action

Keywords

Agile methods
Climate impact risk assessment
Climate information
Model-driven development
Scientific workflows

Access to Document

10.1007/978-3-662-45231-8_33

Cite this

Al-Areqi, S., Kriewald, S., Lamprecht, A. L., Reusser, D., Wrobel, M., & Margaria, T. (2014). Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform. In T. Margaria, T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings (pp. 420-435). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8803). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_33

Al-Areqi, Samih ; Kriewald, Steffen ; Lamprecht, Anna Lena et al. / Towards a flexible assessment of climate impacts : The example of agile workflows for the ci:grasp platform. Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. editor / Tiziana Margaria ; Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2014. pp. 420-435 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b182aa2472734ae79982285f9cd4b047,

title = "Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform",

abstract = "The Climate Impacts: Global and Regional Adaptation Support Platform (ci:grasp) is a web-based climate information service for exploring climate change related information in its geographical context. We have used the jABC workflow modeling and execution framework to make flexibilized versions of the processes implemented in ci:grasp available to the scientific community. The jABC permits us to leverage the processes to an easily accessible conceptual level, which enables users to flexibly define and adapt workflows according to their specific needs. The workflows are suitable as graphical documentation of the processes and are directly repeatable and reusable, which facilitates reproducibility of results and eventually increases the productivity of researchers working on climate impact risk assessment. In this paper, we use variations of workflows for the assessment of the impacts of sea-level rise to demonstrate the flexibility we gained by following this approach.",

keywords = "Agile methods, Climate impact risk assessment, Climate information, Model-driven development, Scientific workflows",

author = "Samih Al-Areqi and Steffen Kriewald and Lamprecht, \{Anna Lena\} and Dominik Reusser and Markus Wrobel and Tiziana Margaria",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.; 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

year = "2014",

doi = "10.1007/978-3-662-45231-8\_33",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "420--435",

editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings",

}

Al-Areqi, S, Kriewald, S, Lamprecht, AL, Reusser, D, Wrobel, M & Margaria, T 2014, Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform. in T Margaria, T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8803, Springer Verlag, pp. 420-435, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Greece, 8/10/14. https://doi.org/10.1007/978-3-662-45231-8_33

Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform. / Al-Areqi, Samih; Kriewald, Steffen; Lamprecht, Anna Lena et al.
Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. ed. / Tiziana Margaria; Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2014. p. 420-435 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8803).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards a flexible assessment of climate impacts

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

AU - Al-Areqi, Samih

AU - Kriewald, Steffen

AU - Lamprecht, Anna Lena

AU - Reusser, Dominik

AU - Wrobel, Markus

AU - Margaria, Tiziana

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2014.

PY - 2014

Y1 - 2014

N2 - The Climate Impacts: Global and Regional Adaptation Support Platform (ci:grasp) is a web-based climate information service for exploring climate change related information in its geographical context. We have used the jABC workflow modeling and execution framework to make flexibilized versions of the processes implemented in ci:grasp available to the scientific community. The jABC permits us to leverage the processes to an easily accessible conceptual level, which enables users to flexibly define and adapt workflows according to their specific needs. The workflows are suitable as graphical documentation of the processes and are directly repeatable and reusable, which facilitates reproducibility of results and eventually increases the productivity of researchers working on climate impact risk assessment. In this paper, we use variations of workflows for the assessment of the impacts of sea-level rise to demonstrate the flexibility we gained by following this approach.

AB - The Climate Impacts: Global and Regional Adaptation Support Platform (ci:grasp) is a web-based climate information service for exploring climate change related information in its geographical context. We have used the jABC workflow modeling and execution framework to make flexibilized versions of the processes implemented in ci:grasp available to the scientific community. The jABC permits us to leverage the processes to an easily accessible conceptual level, which enables users to flexibly define and adapt workflows according to their specific needs. The workflows are suitable as graphical documentation of the processes and are directly repeatable and reusable, which facilitates reproducibility of results and eventually increases the productivity of researchers working on climate impact risk assessment. In this paper, we use variations of workflows for the assessment of the impacts of sea-level rise to demonstrate the flexibility we gained by following this approach.

KW - Agile methods

KW - Climate impact risk assessment

KW - Climate information

KW - Model-driven development

KW - Scientific workflows

UR - https://www.scopus.com/pages/publications/84910679012

U2 - 10.1007/978-3-662-45231-8_33

DO - 10.1007/978-3-662-45231-8_33

M3 - Conference contribution

AN - SCOPUS:84910679012

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 420

EP - 435

BT - Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

Y2 - 8 October 2014 through 11 October 2014

ER -

Al-Areqi S, Kriewald S, Lamprecht AL, 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, Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag. 2014. p. 420-435. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-45231-8_33

Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this