1. Overview
  2. Forthcoming Events
  3. Past Events
  4. Summer D.S.
  5. Spring D.S.
  6. D.S. in Okinawa
    デザインスクール in 沖縄
  7. D.S. in Hong Kong
    デザインスクール in 香港
Design Visions

“Sustainability and scientific workflows: eternal components, changing interfaces, varying compositions, evolving knowledge”

Lecturer: Prof. Dr. Tiziana Margaria (The University of Limerick)

Date: July 27, 2018 (Friday) 17:00-18:00
Place: 211, Seminar room, Research Bldg No 10, Kyoto University (No.60 on the map)

Abstract: We describe how scientific application domains are characterised 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 eXtreme Model Driven Design (XMDD), 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.

Contact: sato.akihiro.5m[at]kyoto-u.ac.jp(Please change [at] to @.)
    Aki-Hiro Sato (Associate Professor, Graduate School of Informatics)

Scientific workflows with the jABC framework
AL Lamprecht, B Steffen, T Margaria
International Journal on Software Tools for Technology Transfer 18 (6), 629-651, 2016

Bio-jETI: a framework for semantics-based service composition
AL Lamprecht, T Margaria, B Steffen
BMC bioinformatics 10 (10), S8, 2009

Semantics-based composition of EMBOSS services
AL Lamprecht, S Naujokat, T Margaria, B Steffen
Journal of Biomedical Semantics 2 (1), S5, 2011

Loose programming with PROPHETS
S Naujokat, AL Lamprecht, B Steffen
International Conference on Fundamental Approaches to Software Engineering, 2012

Synthesis from a practical perspective
S Jörges, AL Lamprecht, T Margaria, S Naujokat, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 282-302, 2016

Constraints-driven automatic geospatial service composition: Workflows for the analysis of sea-level rise impacts
S Al-Areqi, AL Lamprecht, T Margaria
International Conference on Computational Science and Its Applications, 134-150, 2016