Scientific workflows: Eternal components, changing interfaces, varying compositions

Anna Lena Lamprecht, Tiziana Margaria

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We describe how scientific application domains are characterized by the long-term availability of the basic computational components, and how software systems for managing the actual scientific workflows must deal with changing service interfaces and varying service compositions. In this light, we explain how rigorous technical and semantic abstraction, which is key to dealing with huge and heterogeneous application domains in an "extreme model driven design" framework like the jABC, supports the management of workflow evolution. We illustrate the different aspects by means of examples and experiences from the application of the framework in different scientific application domains.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationTechnologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings
Pages47-63
Number of pages17
EditionPART 1
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 - Heraklion, Crete, Greece
Duration: 15 Oct 201218 Oct 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 1
Volume7609 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
Country/TerritoryGreece
CityHeraklion, Crete
Period15/10/1218/10/12

Fingerprint

Dive into the research topics of 'Scientific workflows: Eternal components, changing interfaces, varying compositions'. Together they form a unique fingerprint.

Cite this