TY - GEN
T1 - Scientific workflows
T2 - 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
AU - Lamprecht, Anna Lena
AU - Margaria, Tiziana
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84868287114&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-34026-0_5
DO - 10.1007/978-3-642-34026-0_5
M3 - Conference contribution
AN - SCOPUS:84868287114
SN - 9783642340253
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 47
EP - 63
BT - Leveraging Applications of Formal Methods, Verification and Validation
Y2 - 15 October 2012 through 18 October 2012
ER -